دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings
by John C. Knight (auth.)
|
عنوان فارسی: تکنیک های رسمی در سیستم های بلادرنگ و تحمل خطا: پنجمین سمپوزیوم بین المللی ، FTRTFT’98 Lyngby ، دانمارک ، مجموعه مقالات 14 تا 18 سپتامبر |