Le livre est actuellement en rupture de stock
Paramètres
En savoir plus sur le livre
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.
Achat du livre
Specification and Development of Interactive Systems, Ketil Stølen, Manfred Broy
- Langue
- Année de publication
- 2012
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .