Items related to Languages And Tools for Hybrid Systems Design
Synopsis
Presents a survey of languages and tools for the design and verification of hybrid systems. This book reviews and compares hybrid system tools by highlighting their differences in terms of their underlying semantics, expressive power and mathematical mechanisms. It suggests the need for a unifying approach to hybrid systems design.
"synopsis" may belong to another edition of this title.
Search results for Languages And Tools for Hybrid Systems Design
Stock Image
Languages and Tools for Hybrid Systems Design (Foundations and Trends (R) in Electronic Design Automation) (Foundations and Trends® in Electronic Design Automation) [Paperback] Carloni, Luca P.; Passerone, Roberto and Pinto, Alessandro
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Minor wear at edges/corners. Some storage marks/scratches to cover and text blocks. Text excellent and unread. Seller Inventory # 041667-3
Quantity: 1 available