Gesamtpreis (1 Artikel Artikel):
Versandziel:
broy manfred (199 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (199)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Weitere Eigenschaften
- Erstausgabe (5)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (2)
- Angebotsfoto (96)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia, June/July 1993 Proceedings (Lecture Notes in Computer Science 735)
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 7,93
EUR 10,90 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 735 .Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
Constructive Methods in Computing Science: International Summer School (NATO ASI Series F: Computer and Systems Sciences, Volume 55)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Jan. 5 (weekend sale item)* 478 pp., hardcover, ex library, else text and binding clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report Lecture Notes in Computer Science, 1009
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Gut. 449 Seiten Der Buchzustand ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 635.
-
Formal Systems Specification: The Rpc-Memory Specification Case Study
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540619844 ISBN 13: 9783540619840
SonderangebotEUR 5,84
EUR 20,50 shipping
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Buch 13 von 16: Monographs in Computer ScienceSprache: Englisch
Verlag: Springer-Verlag New York Inc., 2001
ISBN 10: 0387950737 ISBN 13: 9780387950730
SonderangebotEUR 5,84
EUR 20,50 shipping
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: 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.
-
Program Design Calculi
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993
ISBN 10: 354056943X ISBN 13: 9783540569435
SonderangebotEUR 5,84
EUR 20,50 shipping
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Anbieter: Antiquariat im Kaiserviertel | Wimbauer Buchversand, Dortmund, NRW, Deutschland
Verkäuferbewertung 5 von 5 Sternen
BN. Zustand: Gut. 449 S. exBibliotheksexemplar mit den üblichen Stempeln/Signaturen, Kanten etwas berieben / bestossen, etwas angegrauter Einband, papierbedingte Seitenbräunung /// Standort Wimregal ISS-09220 ISBN 3540605894 Sprache: Englisch Gewicht in Gramm: 638.
-
Specification and Development of Interactive Systems
Buch 13 von 16: Monographs in Computer ScienceAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 24,27
EUR 7,46 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 370 Illus.
-
Program Design Calculi (Nato a S I Series Series III, Computer and Systems Sciences, Vol. 118)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Fine. *Price HAS BEEN REDUCED by 10% until Monday, Jan. 5 (weekend sale item)* 409 pp., hardcover, LIKE NEW! - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Methods of programming : selected papers on the CIP project. Lecture notes in computer science ; 544
Sprache: Englisch
Verlag: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
ISBN 10: 354054576X ISBN 13: 9783540545767
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Gut. 268 S. Das Buch ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 430.
-
Automotive Software-Connected Services in Mobile Networks
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 27,98
EUR 7,46 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 176 Illus.
-
Perspectives of System Informatics. 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers.
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 5 von 5 Sternen
XIII, 548 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2244. Sprache: Englisch.
-
Sonderangebot
EUR 19,34
EUR 20,50 shipping
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Bon. Ancien livre de bibliothèque. Couverture différente. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Good. General shelf wear to cover/spine/binding. Pages are clean. Good reading copy. Manufacturer's error on cover.
-
Mathematical Methods in Program Development
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 38,61
EUR 7,46 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. x + 528.
-
Perspectives Of Systems Informatics
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
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.
-
Specification and Development of Interactive Systems - FOCUS on Streams, Interfaces, and Refinement
Buch 13 von 16: Monographs in Computer ScienceAnbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
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.
-
Automotive Software-connected Services In Mobile Networks
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
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.
-
Agendacps: Integrierte Forschungsagenda Cyber-physical Systems
Sprache: Deutsch
Verlag: Springer-Verlag New York Inc, 2012
ISBN 10: 3642290981 ISBN 13: 9783642290985
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 13,25
EUR 14,35 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 297 pages. German language. 10.23x7.59x0.55 inches. In Stock.
-
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:, Vol. 91
Sprache: Englisch
Verlag: Dordrecht ; Boston ; London : Reidel, 1982
ISBN 10: 9027714606 ISBN 13: 9789027714602
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover/Pappeinband. XIII, 658 p.;ill. Good condition. Pages are slightly curled. Reading pages are clean and without marks. Book shows slight signs of storage and usage. Dust jacket with some storage signs. Still good copy. 9789027714602 Sprache: Englisch Gewicht in Gramm: 1021.
-
Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003 Akademgorodok, Novosibirsk, Russia, July 2003 Revised Papers
Sprache: Englisch
Verlag: Springer Verlag, New York, 2004
ISBN 10: 3540208135 ISBN 13: 9783540208136
Anbieter: Doss-Haus Books, Redondo Beach, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. Hardcover 2004 library bound edition. Ex-library book with minimal stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series : Lecture Notes in Computer Science ;2890. [xv, 572 p. : ill. ; 24 cm].
-
Software Pioneers : Contributions to Software Engineering
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2002
ISBN 10: 3540430814 ISBN 13: 9783540430810
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Zustand: Good. 1st Edition. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Software Pioneers: Contributions to Software Engineering (includes 4 DVDs)
Erstausgabe
Hardcover. Zustand: Very Good. 1st edition. includes 4 DVD in sealed envelope, 728pp, octavo, tight binding, clean throughout, clean boards with mild corner wear, personal library label to corner of ffep.
-
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:, 55
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
gebundene Ausgabe. Zustand: Gut. 478 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 910.
-
Modellbildung in der Informatik. Xpert.press
Sprache: Deutsch
Verlag: Berlin ; Heidelberg ; New York ; Hongkong ; London ; Mailand ; Paris ; Tokio : Springer, 2004
ISBN 10: 3540010580 ISBN 13: 9783540010586
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
gebundene Ausgabe. Zustand: Gut. X, 256 S. : graph. Darst. ; 1 CD-ROM Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 645.
-
Broy, Manfred: Informatik Teil: Teil 4., Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung
Sprache: Deutsch
Verlag: Berlin ; Heidelberg ; Singapur ; New York ; Barcelona ; Budapest ; Hongkong ; London ; Mailand ; Paris ; Santa Clara : Springer, 1995
ISBN 10: 3540586024 ISBN 13: 9783540586029
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. 1. IX, 215 S. : graph. Darst. Ungelesenes Buch in fast neuwertigem Zustand! Evtl. minimale Lagerspuren. 9783540586029 Sprache: Deutsch Gewicht in Gramm: 340.
-
Logic of Programmig and Calculi of Discrete Design
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 46,11
EUR 10,90 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Hardcover with printed boards, no dust jacket, in very good condition. Boards are slightly marked, and edges and spine ends are bumped and nicked in places. Page block is lightly tanned and blemished, page edges are a little tanned, and previous owner's name penned to front end-paper. Pages are otherwise clear and binding is sound. LW. Used.
-
![Beispielbild für Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology [Hardcover] Böhm, Wolfgang; Broy, Manfred; Klein, Cornel; Pohl, Klaus; Rumpe, Bernhard and Schröck, Sebastian zum Verkauf von SpringBooks](https://pictures.abebooks.com/isbn/9783030621353-de-300.jpg)
Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology [Hardcover] Böhm, Wolfgang; Broy, Manfred; Klein, Cornel; Pohl, Klaus; Rumpe, Bernhard and Schröck, Sebastian
Anbieter: SpringBooks, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Hardcover. Zustand: As New. 1. Auflage. from Germany, will be dispatched immediately.
-
Engineering Theories of Software Intensive Systems. Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 315 August 2004. Edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare.
Buch 153 von 241: NATO Science Series II: Mathematics, Physics and ChemistrySprache: Englisch
Verlag: Dordrecht, Springer Netherlands., 2005
ISBN 10: 1402035306 ISBN 13: 9781402035302
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 5 von 5 Sternen
1 online resource (X, 404 pages). Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Nato Science Series II:, Mathematics, Physics and Chemistry, 195. Sprache: Englisch.
-
Informatik und Mathematik. Professor Dr. Dr. h.c. mult. Friedrich L. Bauer zum 65. Geburtstag.
Sprache: Deutsch
Verlag: Berlin, Springer, 1991
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Gut. XIV, 450 S. : Abb., graph. Darst. ; 24 cm, Bibl.-Ex., Guter Zustand. Einband in Folie kaschiert. Sprache: Deutsch Gewicht in Gramm: 970.
