دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK, September 22–23, 1988
by WJ Cullyer (auth.)
|
عنوان فارسی: تکنیک های رسمی در زمان واقعی و سیستم های تحمل پذیر خطا: مجموعه مقالات سمپوزیوم وارویک، بریتانیا، سپتامبر 22-23، 1988 |