Rigorous System Design - Foundations and Trends (R) in Electronic Design Automation - Joseph Sifakis - Books - now publishers Inc - 9781601986603 - April 15, 2013
In case cover and title do not match, the title is correct

Joseph Sifakis
Rigorous System Design - Foundations and Trends (R) in Electronic Design Automation

Get an email once the item is available
Do you have a profile? Log in
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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  

More by Joseph Sifakis

Show all

See all of Joseph Sifakis ( e.g. Paperback Book and Hardcover Book )