
Tell your friends about this item:
Rigorous System Design - Foundations and Trends (R) in Electronic Design Automation
Joseph Sifakis
Rigorous System Design - Foundations and Trends (R) in Electronic Design Automation
Joseph Sifakis
Deals with the formalization of the design of mixed hardware/software systems. The book advocates rigorous system design as a coherent and accountable model-based process leading from requirements to correct implementations.
84 pages
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | April 15, 2013 |
ISBN13 | 9781601986603 |
Publishers | now publishers Inc |
Pages | 84 |
Dimensions | 172 × 238 × 5 mm · 131 g |
Language | English |
Show all
More by Joseph Sifakis
See all of Joseph Sifakis ( e.g. Paperback Book and Hardcover Book )