Order Total (1 Item Items):
Shipping Destination:
Specification Development Interactive Systems by Broy Manfred (30 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (30)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (26)
- As New, Fine or Near Fine (3)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (8)
- Not Print on Demand (24)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Published by Springer-Verlag New York Inc., 2001
ISBN 10: 0387950737 ISBN 13: 9780387950730
Language: English
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Condition: New. pp. 370.
-
US$ 27.89
Convert currencyUS$ 8.78 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: New. pp. 370 Illus.
-
hardcover. Condition: New.
-
US$ 30.75
Convert currencyUS$ 11.66 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: New. pp. 370.
-
Specification And Development of Interactive Systems: Focus On Streams Interfaces And Refinement
Published by Springer, 2001
Language: English
US$ 21.97
Convert currencyUS$ 16.41 shipping from India to U.S.A.Quantity: 2 available
Add to basketN.A. Condition: New. ISBN:9780387950730,Territorial restriction maybe printed on the book. This is an Int'l edition, ISBN and cover may differ from US edition, Contents same as US edition.
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
US$ 56.06
Convert currencyFree shipping from Australia to U.S.A.Quantity: 1 available
Add to basket -
US$ 60.32
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. SUPER FAST SHIPPING.
-
Condition: New. SUPER FAST SHIPPING.
-
US$ 59.54
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 60.00
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 69.77
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.35
Convert currencyUS$ 16.18 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 66.51
Convert currencyUS$ 20.92 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.33
Convert currencyUS$ 20.26 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
Condition: New. pp. 370.
-
Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 77.32
Convert currencyUS$ 20.26 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 93.13
Convert currencyUS$ 33.77 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. reprint edition. 364 pages. 9.25x6.10x0.79 inches. In Stock.
-
US$ 77.36
Convert currencyUS$ 57.42 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketGebunden. Condition: New. 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 ena.
-
Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement
Published by Springer New York Apr 2001, 2001
ISBN 10: 0387950737 ISBN 13: 9780387950730
Language: English
US$ 103.84
Convert currencyUS$ 74.19 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketBuch. Condition: Neu. Neuware - This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools.
-
![Seller image for Specification and development of interactive systems : focus on streams, interfaces and refinement 2001 [Leather Bound] for sale by Gyan Books Pvt. Ltd.](https://pictures.abebooks.com/inventory/md/md32172014379.jpg)
Specification and development of interactive systems : focus on streams, interfaces and refinement 2001 [Leather Bound]
Publication Date: 2025
US$ 35.16
Convert currencyFree shipping from India to U.S.A.Quantity: Over 20 available
Add to basketLeather Bound. Condition: New. Language: English. Presenting an Exquisite Leather-Bound Edition, expertly crafted by the prestigious organization ?Rare Biblio? with Original Natural Leather that gracefully adorns the spine and corners. The allure continues with Golden Leaf Printing that adds a touch of elegance, while Hand Embossing on the rounded spine lends an artistic flair. This masterpiece has been meticulously reprinted in 2025, utilizing the invaluable guidance of the original edition published many years ago in 2001. The contents of this book are presented in classic black and white. Its durability is ensured through a meticulous sewing binding technique, enhancing its longevity. Imprinted on top-tier quality paper. A team of professionals has expertly processed each page, delicately preserving its content without alteration. Due to the vintage nature of these books, every page has been manually restored for legibility. However, in certain instances, occasional blurriness, missing segments, or faint black spots might persist. We sincerely hope for your understanding of the challenges we faced with these books. Recognizing their significance for readers seeking insight into our historical treasure, we've diligently restored and reissued them. Our intention is to offer this valuable resource once again. We eagerly await your feedback, hoping that you'll find it appealing and will generously share your thoughts and recommendations. Lang: - English, Pages:- 365, Print on Demand. If it is a multi-volume set, then it is only a single volume. We are specialised in Customisation of books, if you wish to opt different color leather binding, you may contact us. This service is chargeable. Product Disclaimer: Kindly be informed that, owing to the inherent nature of leather as a natural material, minor discolorations or textural variations may be perceptible. Explore the FOLIO EDITION (12x19 Inches): Available Upon Request. 365.
-
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Published by Springer-Verlag New York Inc., 2012
ISBN 10: 1461265185 ISBN 13: 9781461265184
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 79.15
Convert currencyUS$ 16.52 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 548.
-
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Published by Springer-Verlag New York Inc., 2001
ISBN 10: 0387950737 ISBN 13: 9780387950730
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 79.15
Convert currencyUS$ 18.91 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 725.
-
US$ 90.19
Convert currencyUS$ 8.78 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. Print on Demand pp. 370 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
US$ 99.38
Convert currencyUS$ 11.66 shipping from Germany to U.S.A.Quantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 370.
-
US$ 58.39
Convert currencyUS$ 57.42 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 ena.
