Specification and Development of Interactive Systems (Monographs in Computer Science)

Manfred Broy, Ketil Stolen

ISBN 10: 1461265185 / ISBN 13: 9781461265184

Published by Springer 2001-04-27, 2001

About this Item

Seller Inventory # 6666-IUK-9781461265184

Bibliographic Details

• Title: Specification and Development of Interactive Systems (Monographs in Computer Science)
• Publisher: Springer 2001-04-27
• Publication Date: 2001
• Language: English
• ISBN 10: 1461265185
• ISBN 13: 9781461265184
• Binding: Paperback
• Condition: New

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.