Freunden von diesem Artikel berichten:
Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement - Monographs in Computer Science Manfred Broy 2001 edition
Preis
€ 59,99
Bestellware
Lieferdatum: ca. 12. - 21. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder
Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement - Monographs in Computer Science
Manfred Broy
Presents a mathematical and logical approach to program and software development suitable for large, distributed systems. Emphasizing on modular system development, and systems engineering, this book explains how software systems can be developed in a systematic way based on mathematical and scientific principles and using well defined interfaces.
363 pages, biography
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 27. April 2001 |
| ISBN13 | 9780387950730 |
| Verlag | Springer-Verlag New York Inc. |
| Seitenanzahl | 363 |
| Maße | 156 × 234 × 22 mm · 653 g |
| Sprache | Englisch |
Weitere Titel von Manfred Broy
Alle anzeigen![Cover for Manfred Broy · Logische und Methodische Grundlagen der Entwicklung verteilter Systeme: Unter Mitarbeit von Alexander Malkis (Taschenbuch) [1. Aufl. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/164/9783662673164.jpg?manfred-broy-2023-logische-und-methodische-grundlagen-der-entwicklung-verteilter-systeme-unter-mitarbeit-von-alexander-malkis-taschenbuch&class=scaled&v=1749648686)
![Cover for Manfred Broy · Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis (Taschenbuch) [1. Aufl. 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/010/9783658263010.jpg?manfred-broy-2019-logische-und-methodische-grundlagen-der-programm-und-systementwicklung-datenstrukturen-funktionale-sequenzielle-und-objektorientierte-programmierung-unter-mitarbeit-von-alexander-malkis-taschenbuch&class=scaled&v=1619827803)
![Cover for Manfred Broy · Software Pioneers: Contributions to Software Engineering (Taschenbuch) [Softcover reprint of the original 1st ed. 2002 edition] (2014)](https://imusic.b-cdn.net/images/item/original/708/9783642639708.jpg?manfred-broy-2014-software-pioneers-contributions-to-software-engineering-taschenbuch&class=scaled&v=1587377445)
![Cover for Manfred Broy · Projektorganisation Und Management Im Software Engineering - Xpert.Press (Gebundenes Buch) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/897/9783642292897.jpg?manfred-broy-2013-projektorganisation-und-management-im-software-engineering-xpert-press-gebundenes-buch&class=scaled&v=1407512861)
![Cover for Manfred Broy · Modellbildung in Der Informatik - Xpert.press (Taschenbuch) [German, Softcover Reprint of the Original 1st Ed. 2004 edition] (2013)](https://imusic.b-cdn.net/images/item/original/670/9783642622670.jpg?manfred-broy-2013-modellbildung-in-der-informatik-xpert-press-taschenbuch&class=scaled&v=1408507505)
![Cover for Manfred Broy · Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement - Monographs in Computer Science (Taschenbuch) [Softcover Reprint of the Original 1st Ed. 2001 edition] (2012)](https://imusic.b-cdn.net/images/item/original/184/9781461265184.jpg?manfred-broy-2012-specification-and-development-of-interactive-systems-focus-on-streams-interfaces-and-refinement-monographs-in-computer-science-taschenbuch&class=scaled&v=1587386552)
![Cover for Manfred Broy · VDI-Lexikon Informatik Und Kommunikationstechnik - VDI-Buch (Taschenbuch) [2nd 2. Aufl. 1999. Softcover Reprint of the Origin edition] (2012)](https://imusic.b-cdn.net/images/item/original/469/9783642468469.jpg?manfred-broy-2012-vdi-lexikon-informatik-und-kommunikationstechnik-vdi-buch-taschenbuch&class=scaled&v=1581575073)
![Cover for Manfred Broy · Informatik und Mathematik (Taschenbuch) [Softcover reprint of the original 1st ed. 1991 edition] (2011)](https://imusic.b-cdn.net/images/item/original/787/9783642766787.jpg?manfred-broy-2011-informatik-und-mathematik-taschenbuch&class=scaled&v=1587386050)
![Cover for Manfred Broy · Programming and Mathematical Method: International Summer School - Nato ASI Subseries F: (Taschenbuch) [Softcover reprint of the original 1st ed. 1992 edition] (2011)](https://imusic.b-cdn.net/images/item/original/741/9783642775741.jpg?manfred-broy-2011-programming-and-mathematical-method-international-summer-school-nato-asi-subseries-f-taschenbuch&class=scaled&v=1404105610)
![Cover for Manfred Broy · Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare - Nato ASI Subseries F: (Taschenbuch) [Softcover reprint of the original 1st ed. 1989 edition] (2011)](https://imusic.b-cdn.net/images/item/original/868/9783642748868.jpg?manfred-broy-2011-constructive-methods-in-computing-science-international-summer-school-directed-by-f-l-bauer-m-broy-e-w-dijkstra-c-a-r-hoare-nato-asi-subseries-f-taschenbuch&class=scaled&v=1450457557)
![Cover for Manfred Broy · Mathematical Methods in Program Development - Nato ASI Subseries F: (Taschenbuch) [Softcover reprint of the original 1st ed. 1997 edition] (2011)](https://imusic.b-cdn.net/images/item/original/884/9783642645884.jpg?manfred-broy-2011-mathematical-methods-in-program-development-nato-asi-subseries-f-taschenbuch&class=scaled&v=1642931156)
![Cover for Manfred Broy · Deductive Program Design - Nato ASI Subseries F: (Taschenbuch) [Softcover reprint of the original 1st ed. 1996 edition] (2011)](https://imusic.b-cdn.net/images/item/original/496/9783642648496.jpg?manfred-broy-2011-deductive-program-design-nato-asi-subseries-f-taschenbuch&class=scaled&v=1608064380)
![Cover for Manfred Broy · Program Design Calculi - Nato ASI Subseries F: (Taschenbuch) [Softcover reprint of the original 1st ed. 1993 edition] (2010)](https://imusic.b-cdn.net/images/item/original/644/9783642081644.jpg?manfred-broy-2010-program-design-calculi-nato-asi-subseries-f-taschenbuch&class=scaled&v=1583919472)
![Cover for Manfred Broy · Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers - Information Systems and Applications, incl. Internet / Web, and HCI (Taschenbuch) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/774/9783540376774.jpg?manfred-broy-2006-automotive-software-connected-services-in-mobile-networks-first-automotive-software-workshop-aswsd-2004-san-diego-ca-usa-january-10-12-2004-revised-selected-papers-information-systems-and-applications-incl-internet-web-and-hci-taschenbuch&class=scaled&v=1608830827)
![Cover for Manfred Broy · Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004 - NATO Science Series II (Gebundenes Buch) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/302/9781402035302.jpg?manfred-broy-2005-engineering-theories-of-software-intensive-systems-proceedings-of-the-nato-advanced-study-institute-on-engineering-theories-of-software-intensive-systems-marktoberdorf-germany-from-3-to-15-august-2004-nato-science-series-ii-gebundenes-buc&class=scaled&v=1511512241)
![Cover for Manfred Broy · Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004 - NATO Science Series II (Taschenbuch) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/319/9781402035319.jpg?manfred-broy-2005-engineering-theories-of-software-intensive-systems-proceedings-of-the-nato-advanced-study-institute-on-engineering-theories-of-software-intensive-systems-marktoberdorf-germany-from-3-to-15-august-2004-nato-science-series-ii-taschenbuch&class=scaled&v=1511512241)
![Cover for Manfred Broy · Model-Based Testing of Reactive Systems: Advanced Lectures - Lecture Notes in Computer Science (Taschenbuch) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/787/9783540262787.jpg?manfred-broy-2005-model-based-testing-of-reactive-systems-advanced-lectures-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1533715649)
![Cover for Manfred Broy · Modellbildung in Der Informatik - Xpert.Press (Gebundenes Buch) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/929/9783540442929.jpg?manfred-broy-2003-modellbildung-in-der-informatik-xpert-press-gebundenes-buch&class=scaled&v=1478765248)
![Cover for Manfred Broy · Informatik: Eine Grundlegende Einfuhrung. Band 2: Systemstrukturen Und Theoretische Informatik - Springer-Lehrbuch (Gebundenes Buch) [2nd 2. Aufl. 1998. Nachdruck 2003 edition] (1998)](https://imusic.b-cdn.net/images/item/original/920/9783540643920.jpg?manfred-broy-1998-informatik-eine-grundlegende-einfuhrung-band-2-systemstrukturen-und-theoretische-informatik-springer-lehrbuch-gebundenes-buch&class=scaled&v=1417992127)
![Cover for Manfred Broy · Informatik (Taschenbuch) [2. Aufl. edition] (1997)](https://imusic.b-cdn.net/images/item/original/344/9783540632344.jpg?manfred-broy-1997-informatik-taschenbuch&class=scaled&v=1417992130)
![Cover for Manfred Broy · Informatik. Eine Grundlegende Einfuhrung - Springer-lehrbuch (Taschenbuch) [German edition] (1994)](https://imusic.b-cdn.net/images/item/original/723/9783540576723.jpg?manfred-broy-1994-informatik-eine-grundlegende-einfuhrung-springer-lehrbuch-taschenbuch&class=scaled&v=1417992133)
![Cover for Manfred Broy · Program Design Calculi - Nato ASI Subseries F: (Gebundenes Buch) [1993 edition] (1993)](https://imusic.b-cdn.net/images/item/original/435/9783540569435.jpg?manfred-broy-1993-program-design-calculi-nato-asi-subseries-f-gebundenes-buch&class=scaled&v=1608613342)
![Cover for Manfred Broy · Informatik - Springer-lehrbuch (Taschenbuch) [German edition] (1992)](https://imusic.b-cdn.net/images/item/original/911/9783540551911.jpg?manfred-broy-1992-informatik-springer-lehrbuch-taschenbuch&class=scaled&v=1417992127)
![Cover for Manfred Broy · Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School - Springer Study Edition (Taschenbuch) [Softcover reprint of the original 1st ed. 1986 edition] (1986)](https://imusic.b-cdn.net/images/item/original/822/9783540170822.jpg?manfred-broy-1986-control-flow-and-data-flow-concepts-of-distributed-programming-international-summer-school-springer-study-edition-taschenbuch&class=scaled&v=1610456322)
![Cover for Manfred Broy · Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare - NATO Science Series C (Taschenbuch) [Softcover reprint of the original 1st ed. 1982 edition] (1982)](https://imusic.b-cdn.net/images/item/original/626/9789027714626.jpg?manfred-broy-1982-theoretical-foundations-of-programming-methodology-lecture-notes-of-an-international-summer-school-directed-by-f-l-bauer-e-w-dijkstra-and-c-a-r-hoare-nato-science-series-c-taschenbuch&class=scaled&v=1612729100)
Alle Titel von Manfred Broy ansehen ( u. a. Taschenbuch , Gebundenes Buch und Buch )