Specification development interactive systems von broy manfred (27 Ergebnisse)

Sprache: Englisch
Verlag: Springer, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: HPB-Red, Dallas, TX, USAHPB-Red
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 19,88
EUR 3,29 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: 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.

Sprache: Englisch
Verlag: Springer, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: Books-R-Keen, DuBois, PA, USABooks-R-Keen
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 33,36
EUR 3,50 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: New.

Sprache: Englisch
Verlag: Springer, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 49,52
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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.

Sprache: Englisch
Verlag: Springer, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 53,15
EUR 3,50 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Used. pp. 370.

Sprache: Englisch
Verlag: Springer, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 50,70
EUR 7,55 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 370 Illus.

Sprache: Englisch
Verlag: Springer, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 49,40
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 370.

Sprache: Englisch
Verlag: Springer, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 62,96
EUR 2,31 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.

Sprache: Englisch
Verlag: Springer, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,74
EUR 13,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.

Sprache: Englisch
Verlag: Springer, 2012
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,74
EUR 13,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.

Sprache: Englisch
Verlag: Springer 2001-04-27, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,17
EUR 17,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
Paperback. Zustand: New.

Sprache: Englisch
Verlag: Springer, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 74,19
EUR 2,31 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.

Sprache: Englisch
Verlag: Springer, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,73
EUR 17,41 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.

Sprache: Englisch
Verlag: Springer, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 74,28
EUR 6,09 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.

Sprache: Englisch
Verlag: Springer, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 66,79
EUR 17,41 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.

Sprache: Englisch
Verlag: Springer, 2012
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 82,22
EUR 3,50 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 370.

Sprache: Englisch
Verlag: Springer, 2012
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 81,16
EUR 14,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. reprint edition. 364 pages. 9.25x6.10x0.79 inches. In Stock.
Weitere BilderSprache: Englisch
Verlag: Springer, 2012
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Specification and Development of Interactive Systems | Focus on Streams, Interfaces, and Refinement | Manfred Broy (u. a.) | Taschenbuch | Monographs in Computer Science | xv | Englisch | 2012 | Springer | EAN 9781461265184 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 6…9121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Sprache: Englisch
Verlag: Springer, Springer, 2012
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,97
EUR 62,79 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Sprache: Englisch
Verlag: Springer, 2012
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Softcover
- Print-on-Demand
Anbieter: Brook Bookstore On Demand, Napoli, NA, ItalienBrook Bookstore On Demand
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 46,22
EUR 6,80 VersandVersand von Italien nach USAAnzahl: Mehr als 20 verfügbar
Zustand: new. Questo è un articolo print on demand.

Sprache: Englisch
Verlag: Springer-Verlag New York Inc., 2012
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Softcover
- Print-on-Demand
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes KönigreichTHE SAINT BOOKSTORE
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,94
EUR 18,84 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Sprache: Englisch
Verlag: Springer, 2012
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Softcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 82,50
EUR 7,55 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: 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.

Sprache: Englisch
Verlag: Springer-Verlag New York Inc., 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
- Print-on-Demand
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes KönigreichTHE SAINT BOOKSTORE
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,94
EUR 20,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Hardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Sprache: Englisch
Verlag: Springer, 2012
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 81,97
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 370.

Sprache: Englisch
Verlag: Springer New York, 2012
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: 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.

Sprache: Englisch
Verlag: Springer New York, 2001
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Hardcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,74
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Gebunden. Zustand: 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 auth…ors build a basic method, called FOCUS, that ena.

Sprache: Englisch
Verlag: Springer, Springer Okt 2012, 2012
Serie: Monographs in Computer Science, Buch 13 von 16. Buch 13 von 16 - Monographs in Computer Science
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 syste…ms 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 368 pp. Englisch.
Weitere Bilder- Hardcover
- Print-on-Demand
Anbieter: Gyan Books Pvt. Ltd., Delhi, IndienGyan Books Pvt. Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 65,99
Versand nach gratisVersand von Indien nach USAAnzahl: Mehr als 20 verfügbar
Leather Bound. Zustand: New. Language: English. 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 365.