Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)

Broy, Manfred; Stølen, Ketil

ISBN 10: 0387950737 / ISBN 13: 9780387950730

Edité par Springer, 2001

A propos de cet article

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.

N° de réf. du vendeur SHAK85865

Détails bibliographiques

• Titre: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)
• Éditeur: Springer
• Date de parution: 2001
• Langue: anglais
• ISBN à 10 chiffres: 0387950737
• ISBN à 13 chiffres: 9780387950730
• Reliure: Couverture rigide
• État de l'article: Neuf

A propos de ce titre

Synopsis

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.