Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
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.
Buchkauf
Specification and Development of Interactive Systems, Ketil Stølen, Manfred Broy
- Sprache
- Erscheinungsdatum
- 2012
- product-detail.submit-box.info.binding
- (Paperback)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Keiner hat bisher bewertet.