Synchronous Equivalence : Formal Methods for Embedded Systems
Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli (auth.)قیمت
تخفیف زماندار
۱۳٬۰۰۰ تومان تخفیف
۱۳٬۰۰۰ تومان ارزانتر از قیمت اصلی
بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.
مشخصات کتاب
- سال انتشار
- ۲۰۰۱
- فرمت
- زبان
- انگلیسی
- تعداد صفحات
- ۶۷ صفحه
- حجم فایل
- ۶٫۸ مگابایت
- شابک
- 9780792372622، 9781461356646، 9781461516590، 079237262X، 1461356644، 1461516595
کتابهای مشابه
Communicating embedded systems : software and design : formal methods
۴۹٬۰۰۰ تومان
Embedded Software System Testing : Automatic Testing Solution Based on Formal Method
۴۹٬۰۰۰ تومان
Formal Methods in Systems Engineering
۴۹٬۰۰۰ تومان
Embedded Multiprocessors: Scheduling and Synchronization
۴۹٬۰۰۰ تومان
Symbolic Methods Applied To Formal Verification And Synthesis In Embedded Systems Design (technische Informatik)
۴۹٬۰۰۰ تومان
Embedded systems design based on formal models of computation
۴۹٬۰۰۰ تومان
Embedded Systems Design Based on Formal Models of Computation
۴۹٬۰۰۰ تومان
Formal Methods for Control of Nonlinear Systems
۴۹٬۰۰۰ تومان
Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification
۴۹٬۰۰۰ تومان
Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification
۴۹٬۰۰۰ تومان
Battery Management Systems: Equivalent-Circuit Methods: 2
۴۹٬۰۰۰ تومان
Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification
۴۹٬۰۰۰ تومان
قیمت نهایی
۳۶٬۰۰۰ تومان