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

Manfred Broy (u. a.)

ISBN 10: 1461265185 / ISBN 13: 9781461265184

Published by Springer, 2012

About this Item

Specification and Development of Interactive Systems | Focus on Streams, Interfaces, and Refinement | Manfred Broy (u. a.) | Taschenbuch | Monographs in Computer Science | xv | Englisch | 2012 | Springer | EAN 9781461265184 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 106014319

Bibliographic Details

• Title: Specification and Development of Interactive Systems | Focus on Streams, Interfaces, and Refinement
• Publisher: Springer
• Publication Date: 2012
• Language: English
• ISBN 10: 1461265185
• ISBN 13: 9781461265184
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 20D millimeters 235 millimeters width by 155 millimeters height by 20 millimeters depth
• Weight: 557 grams
• Seller catalogs:
  • Bücher

About this title

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.