The book is currently out of stock
Parameters
More about the book
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.
Book purchase
Specification and Development of Interactive Systems, Ketil Stølen, Manfred Broy
- Language
- Released
- 2012
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.