Order Total (1 Item Items):
Shipping Destination:
Specification Development Interactive Systems by Broy Manfred (32 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (32)
- 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 (28)
- 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 (9)
- Not Print on Demand (25)
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
Book 13 of 16: Monographs in Computer ScienceLanguage: English
Published by Springer-Verlag New York Inc., 2001
ISBN 10: 0387950737 ISBN 13: 9780387950730
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.
-
Condition: New. pp. 370 Illus.
-
-
Condition: New. pp. 370.
-
Specification And Development of Interactive Systems: Focus On Streams Interfaces And Refinement
Language: English
Published by Springer, 2001
N.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.
-
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
-
-
Condition: As New. Unread book in perfect condition.
-
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)
Book 13 of 16: Monographs in Computer ScienceSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)
Book 13 of 16: Monographs in Computer ScienceSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement
Book 13 of 16: Monographs in Computer ScienceSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
Condition: New. pp. 370.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Book 13 of 16: Monographs in Computer ScienceSeller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2001. Hardcover. . . . . .
-
Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement
Book 13 of 16: Monographs in Computer ScienceSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Brand New. reprint edition. 364 pages. 9.25x6.10x0.79 inches. In Stock.
-
Condition: New. 2001. Hardcover. . . . . . Books ship from the US and Ireland.
-
Gebunden. 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
Book 13 of 16: Monographs in Computer ScienceLanguage: English
Published by Springer New York Apr 2001, 2001
ISBN 10: 0387950737 ISBN 13: 9780387950730
Buch. 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)
Leather 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.
-
Condition: 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.
-
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Book 13 of 16: Monographs in Computer ScienceLanguage: English
Published by Springer-Verlag New York Inc., 2012
ISBN 10: 1461265185 ISBN 13: 9781461265184
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 57.35
£ 16.23 shipping
Ships 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.
-
Condition: New. PRINT ON DEMAND pp. 370.
-
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Book 13 of 16: Monographs in Computer ScienceLanguage: English
Published by Springer-Verlag New York Inc., 2001
ISBN 10: 0387950737 ISBN 13: 9780387950730
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
