Vertel uw vrienden over dit artikel:
Rigorous System Design - Foundations and Trends (R) in Electronic Design Automation
Joseph Sifakis
Prijs
NZD 115,54
Besteld in een afgelegen magazijn
Verwachte levering 8 - 17 jul.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Eller
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 15 april 2013 |
| ISBN13 | 9781601986603 |
| Uitgevers | now publishers Inc |
| Pagina's | 84 |
| Afmetingen | 172 × 238 × 5 mm · 131 g |
| Taal en grammatica | Engels |
Alles tonen
Meer door Joseph Sifakis
![Cover for Joseph Sifakis · Understanding and Changing the World: From Information to Knowledge and Intelligence (Paperback Book) [2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/985/9789811919985.jpg?joseph-sifakis-2023-understanding-and-changing-the-world-from-information-to-knowledge-and-intelligence-paperback-book&class=scaled&v=1692869265)
![Cover for Joseph Sifakis · Understanding and Changing the World: From Information to Knowledge and Intelligence (Hardcover Book) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/312/9789811919312.jpg?joseph-sifakis-2022-understanding-and-changing-the-world-from-information-to-knowledge-and-intelligence-hardcover-book&class=scaled&v=1655916225)
![Cover for Joseph Sifakis · Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science (Paperback Book) [1990 edition] (1990)](https://imusic.b-cdn.net/images/item/original/488/9783540521488.jpg?joseph-sifakis-1990-automatic-verification-methods-for-finite-state-systems-international-workshop-grenoble-france-june-12-14-1989-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1553720313)
Bekijk alles van Joseph Sifakis ( bijv. Paperback Book en Hardcover Book )