Real-time systems : specification, verification, and analysis
edited by Mathai Josephقیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- نویسنده
- edited by Mathai Joseph
- سال انتشار
- ۱۹۹۵
- فرمت
- زبان
- انگلیسی
- حجم فایل
- ۱٫۹ مگابایت
کتابهای مشابه
Real-Time Systems : Formal Specification and Automatic Verification
۴۹٬۰۰۰ تومان
Real-Time Systems : Formal Specification and Automatic Verification
۴۹٬۰۰۰ تومان
Real-Time Systems : Scheduling, Analysis, and Verification
۴۹٬۰۰۰ تومان
Real-Time Systems : Scheduling, Analysis, and Verification
۴۹٬۰۰۰ تومان
Real time programming : languages, specification and verification
۴۹٬۰۰۰ تومان
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science (558))
۴۹٬۰۰۰ تومان
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science (558))
۴۹٬۰۰۰ تومان
Compositional Verification of Concurrent and Real-Time Systems
۴۹٬۰۰۰ تومان
Specification and Verification of Multi-agent Systems
۴۹٬۰۰۰ تومان
Reactive Systems : Modelling, Specification and Verification
۴۹٬۰۰۰ تومان
Specification and Verification of Multi-agent Systems
۴۹٬۰۰۰ تومان
Specification and Verification of Multi-agent Systems
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان