Rigorous System Design

By Joseph Sifakis

Rigorous System Design deals with the formalization of the design of mixed hardware/software systems. It advocates rigorous system design as a coherent and accountable model-based process leading from... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1601986602
• ISBN13: 9781601986603
• Release Date: April 2013
• Publisher: Now Publishers
• Length: 84 Pages
• Weight: 0.29 lbs.
• Dimensions: 0.2" x 6.1" x 9.2"