Real time programming : languages, specification and verification
R. K. Shyamasundar, S. Ramesh, Rudrapatna Shyamasundarقیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- سال انتشار
- ۲۰۰۲
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۱٫۱ مگابایت
کتابهای مشابه
Real-time systems : specification, verification, and analysis
۳۶٬۰۰۰ تومان
Real-Time Systems : Formal Specification and Automatic Verification
۳۶٬۰۰۰ تومان
Real-Time Systems : Formal Specification and Automatic Verification
۳۶٬۰۰۰ تومان
Modular Specification and Verification of Object-Oriented Programs
۳۶٬۰۰۰ تومان
Dart Programming Language Specification
۳۶٬۰۰۰ تومان
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science (558))
۳۶٬۰۰۰ تومان
Verification and Validation of Real-Time Software
۳۶٬۰۰۰ تومان
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science (558))
۳۶٬۰۰۰ تومان
Formal Specification and Verification
۳۶٬۰۰۰ تومان
Real-Time Systems : Scheduling, Analysis, and Verification
۳۶٬۰۰۰ تومان
Real-Time Systems : Scheduling, Analysis, and Verification
۳۶٬۰۰۰ تومان
Compositional Verification of Concurrent and Real-Time Systems
۳۶٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان