دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings
by Limor Fix
|
عنوان فارسی: تکنیک های رسمی در زمان واقعی و سیستم های تحمل پذیر خطا: سمپوزیوم سازمان انترناسیونال سوم به طور مشترک با گروه کاری سیستم اثبات صحیح - ProCoS لوبک، آلمان، سپتامبر 19-23، 1994 مقالات |