Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
| AUTHOR | Stlen, Ketil; Broy, Manfred |
| PUBLISHER | Springer (04/27/2001) |
| PRODUCT TYPE | Hardcover (Hardcover) |
Description
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.
Show More
Product Format
Product Details
ISBN-13:
9780387950730
ISBN-10:
0387950737
Binding:
Hardback or Cased Book (Sewn)
Content Language:
English
More Product Details
Page Count:
348
Carton Quantity:
22
Product Dimensions:
6.34 x 0.89 x 9.46 inches
Weight:
1.44 pound(s)
Feature Codes:
Bibliography,
Glossary,
Illustrated
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Software Development & Engineering - Systems Analysis & Desi
Computers | System Theory
Computers | Engineering (General)
Dewey Decimal:
003
Library of Congress Control Number:
00047090
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
List Price $54.99
Your Price
$54.44