CURRENTLY SOLD OUT

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement by Manfred Broy, Ketil Stolen (Paperback, 2012)

About this product

Product Information

A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.

Product Identifiers

Publisher
Springer-Verlag New York Inc.
ISBN-13
9781461265184
eBay Product ID (ePID)
148686615

Product Key Features

Author
Manfred Broy, Ketil Stolen
Publication Name
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2012
Type
Textbook
Number of Pages
348 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Item Weight
563g

Additional Product Features

Title_Author
Manfred Broy, Ketil Stolen
Series Title
Monographs in Computer Science
Country/Region of Manufacture
United States

Best Selling in Adult Learning & University

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)
4.8 out of 5 stars based on 88 product ratings
AU $19.95 New
AU $13.00 Used
Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)
4.9 out of 5 stars based on 157 product ratings
AU $39.98 New
AU $31.50 Used
The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)
No ratings or reviews yet.
AU $59.41 New
---- Used
Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)
5.0 out of 5 stars based on 12 product ratings
AU $182.95 New
AU $79.95 Used
In-Basket Case Studies by Guy Adamson (Paperback, 1986)
No ratings or reviews yet.
AU $19.99 New
---- Used
Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)
5.0 out of 5 stars based on 1 product rating
AU $31.59 New
---- Used
Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)
4.5 out of 5 stars based on 4 product ratings
AU $15.00 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $121.71
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $76.47
Steven Holzner Physics Essentials For Dummies (Paperback)
AU $25.30
Trending at AU $27.74
T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)
AU $42.59
Trending at AU $45.30
Care of People with Diabetes: A Manual for Healthcare Practice
AU $81.73
Trending at AU $82.71
The Fourth Turning By Neil Howe, William Strauss
AU $25.99
Trending at AU $32.76

Shop by category

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement by Manfred Broy, Ketil Stolen (Paperback, 2012)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Adult Learning & University

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)

Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)

The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)

Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)

In-Basket Case Studies by Guy Adamson (Paperback, 1986)

Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)

Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)

Save on Adult Learning & University

Netter Atlas of Human Anatomy: Classic Regional Approach

Havard's Nursing Guide to Drugs

Steven Holzner Physics Essentials For Dummies (Paperback)

T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)

Care of People with Diabetes: A Manual for Healthcare Practice

The Fourth Turning By Neil Howe, William Strauss

You may also like

Non-Fiction Professional Development Paperback Fiction & Books

Non-Fiction Paperback Fiction & Personal Development Books

Non-Fiction Paperback Fiction & Web Development Books

Non-Fiction Personal Development Fiction & Books

Paperback Calendars (Current)

Australian Paperbacks