Rigorous System Design
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.
Specificaties
| ISBN/EAN | 9781601986603 |
| Auteur | Joseph Sifakis |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 84 |
| Lengte | |
| Breedte |