دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings
by N. Halbwachs
|
عنوان فارسی: تکنیک های رسمی در زمان واقعی و سیستم های تحمل پذیر خطا: 6 سمپوزیوم بین المللی، FTRTFT 2000 پونا، هندوستان، 20-22 سپتامبر، 2000 مقالات |