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

by Ketil Stolen and Manfred Broy

No Customer Reviews

Select Format

Select Condition

Book Overview

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... This description may be from another edition of this product.

Format:Hardcover

Language:English

ISBN:0387950737

ISBN13:9780387950730

Release Date:April 2001

Publisher:Springer

Length:363 Pages

Weight:2.31 lbs.

Dimensions:9.5" x 0.9" x 6.3"

Related Subjects

Computers Computers & Technology Engineering Science Science & Math Science & Scientists Science & Technology Technology

Customer Reviews

0 rating

Write a review

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks^® and the ThriftBooks^® logo are registered trademarks of Thrift Books Global, LLC

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

Select Format

Select Condition

Recommended

Book Overview

Customer Reviews

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us