Your price
RRP: £112.00
Save £38.15 (34%)
Dispatched within 3-4 working days.

Languages and Tools for Hybrid Systems Design

Foundations and Trends (R) in Electronic Design Automation

Format: Paperback / softback
Publisher: now publishers Inc, Hanover, United States
Published: 30th Jun 2006
Dimensions: w 156mm h 234mm d 11mm
Weight: 323g
ISBN-10: 193301928X
ISBN-13: 9781933019284
Barcode No: 9781933019284
"Languages and Tools for Hybrid Systems Design" is a survey of languages and tools for the design and verification of hybrid systems. The book reviews and compares hybrid system tools by highlighting their differences in terms of their underlying semantics, expressive power and mathematical mechanisms. The review concludes with a comparative summary, which suggests the need for a unifying approach to hybrid systems design. As a step in this direction, the case is made for a semantic-aware interchange format, which would enable the use of joint techniques, make a formal comparison between different approaches possible, and facilitate exporting and importing design representations. "Languages and Tools for Hybrid Systems Design" is also intended to equip researchers, application developers and managers with key references and resource material for the successful development of hybrid systems.

New & Used

Seller Information Condition Price

What Reviewers Are Saying

Be the first to review this item. Submit your review now