Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement - Couverture rigide

Livre 13 sur 16: Monographs in Computer Science

Broy, Manfred; Stølen, Ketil

 
9780387950730: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Couverture rigide
ISBN 10 : 0387950737 ISBN 13 : 9780387950730
Editeur : Springer-Verlag New York Inc., 2001

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag New York Inc.
Date d'édition
2001
Langue
anglais
ISBN 10 
0387950737
ISBN 13 
9780387950730
Reliure
Relié
Nombre de pages
348
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9781461265184: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Edition présentée

ISBN 10 :  1461265185 ISBN 13 :  9781461265184
Editeur : Springer, 2012
Couverture souple