Het boek is momenteel niet op voorraad
Parameters
Meer over het boek
This book offers a mathematical and logical framework for software and systems engineering, focusing on modular system development through component specifications and refinement concepts. It targets computer scientists and engineers interested in foundational principles rather than practical industrial methods.
Een boek kopen
Specification and Development of Interactive Systems, Ketil Stølen, Manfred Broy
- Taal
- Jaar van publicatie
- 2012
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.