دانلود کتاب Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

روش های رسمی برای طراحی سیستم های زمان واقعی: مدرسه بین المللی روش های رسمی برای طراحی سیستم های رایانه ای ، ارتباطی و نرم افزاری ، Bertinora ، ایتالیا ، 13-18 سپتامبر 2004 ، سخنرانی های تجدید نظر شده

زبان : English

نویسندگان : Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2004

ISBN (شابک) : 3540230688, 9783540230687, 9783540300809

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 3185

تعداد صفحات : 297[301]

حجم : 2 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان