Springer
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Product Code:
9781461265184
ISBN13:
9781461265184
Condition:
New
$61.47
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
$61.47
This book presents a mathematical and logical approach to program and software development suitable for large, distributed systems. The emphasis is on modular system development, and systems engineering, and it explains how software systems can be developed in a systematic way based on mathematical and scientific principles and using well defined interfaces. An essential resource for all researchers and professionals in computer science, software systems engineering and computer engineering.
| Author: Manfred Broy |
| Publisher: Springer |
| Publication Date: Oct 17, 2012 |
| Number of Pages: 348 pages |
| Binding: Paperback or Softback |
| ISBN-10: 1461265185 |
| ISBN-13: 9781461265184 |
Related Products
Sale 3%
VDM Verlag Dr. Mueller E.K.
Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle
$85.32
$83.05
