Gesamtpreis (1 Artikel Artikel):
Versandziel:
broy m (67 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (67)
- 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
- Neu (41)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (11)
- Gut oder Befriedigend (11)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (4)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (3)
- Angebotsfoto (33)
- Keine Print-on-Demand Angebote (50)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Acta Informatica: Vol. 36, Fasc. 9/10, 2000
Verlag: Springer, Heidelberg, 2000
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 5,32
EUR 14,47 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Paperback journal with very few superficial marks and scores on covers, and lightly worn edges, leading corners and spine ends. Pages are clean and sound throughout; all content is clear. TS. Used.
-
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.
-
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.
-
Program Construction: International Summer School
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Sonderangebot
EUR 22,49
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Bon. Ancien livre de bibliothèque. Edition 1982. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Sonderangebot
EUR 22,49
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Bon. Ancien livre de bibliothèque. Edition 1982. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Program construction : international summer school. Lecture notes in computer science ; Vol. 69
Sprache: Englisch
Verlag: Berlin, Heidelberg, New York : Springer, 1979
ISBN 10: 354009251X ISBN 13: 9783540092513
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Gut. VII, 651 Seiten : graph. Darst. ; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1060.
-
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 4 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].
-
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 4 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.
-
Logic of Programmig and Calculi of Discrete Design
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 46,52
EUR 14,47 Versand
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.
-
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 Advanced Study Institutes Series C, Volume 91)
Sprache: Englisch
Verlag: D.Reidel Publishing Co., Dordrecht, 1982
ISBN 10: 9027714606 ISBN 13: 9789027714602
Anbieter: J. HOOD, BOOKSELLERS, ABAA/ILAB, Baldwin City, KS, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. 658pp. Very good plus condition with text clean & binding tight.
-
Program Construction: International Summer School (Lecture Notes in Computer Science, 69)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,73
EUR 13,87 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
And now they know
Sprache: Englisch
Verlag: Gottingen, Steidl,, Gottingen, 2007
ISBN 10: 3958293123 ISBN 13: 9783958293120
Anbieter: Studio Bibliografico Marini, ROMA, RM, Italien
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: As New. Prima edizione (First Edition). Testo e fotografie a colori a piena pagina di Broy Lim . Cm 30x23. pp. 72. . Perfetto (Mint). . Prima edizione (First Edition). . Questo libro intimo esplora l'esperienza dell' omosessualità dell'Autore nella sua città natale, Singapore, dove rimane ancora illegale. Combinando testi personali e foto, il volume racconta l'identità sessuale di Lim e la sua relazione di nove anni con il suo partner, rappresentando anche la lotta più ampia di molti giovani che vivono la loro sessualità nelle società conservatrici eteronormate. Lim inizia il libro con riproduzione di testi autografi e con tono confessionale comincia così: "La mia verità è sempre stata un intoccabile.". Book.
-
Program Construction
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1979
ISBN 10: 354009251X ISBN 13: 9783540092513
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 73,46
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New. 1979 ed.
-
Program Construction : International Summer School
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,84
EUR 17,94 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
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:, 91)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,59
EUR 13,87 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Control Flow and Data Flow: Concepts of Distributed Programming (Nato Asi Series, Vol 14)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 62,60
EUR 12,32 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
THE MEN OF SHEPTON MALLET WHO GAVE THEIR LIVES IN THE GREAT WAR
Sprache: Englisch
Verlag: SHEPTON MALLET LOCAL HISTORY GROUP, SOMERSET ENGLAND, 2011
Anbieter: Highstreet Books ABA ILAB, Honiton, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 47,71
EUR 26,63 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: As New. Zustand des Schutzumschlags: As New. Author decided that there was a need for a record for those listed on the Cenotaph who lost their lives in the great war . similar to the Second World War Book of remembrance in Shepton Mallet parish church. He then began the massive task of research and recording the individual stories. 4to , Ppxi, [1], 235 , [1] . This book is a remarkable record of 140 men who died in the First World War .
-
Theoretical Foundations of Programming Methodology : Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,31
EUR 17,94 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
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.
-
Zustand: New. pp. 676.
-
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 Tuesday, May 26 (holiday 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.
-
Programming Concepts and Methods: Proceedings of the Ifip Working Group 2.2./2.3 Working Conference on Programming Concepts and Methods Sea of Galil: Conference Proceedings
Sprache: Englisch
Verlag: Elsevier Science Ltd 11.1990., 1990
ISBN 10: 0444885455 ISBN 13: 9780444885456
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Sehr gut. Bücherrei Exemplar EX LIBRARY Sprache: Englisch Gewicht in Gramm: 469.
-
Das V-modell XT : Grundlagen, methodik und anwendungen -Language: german
Buch 39 von 100: eXamen.pressAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
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
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 84,70
EUR 17,37 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 672 pages. 9.25x6.10x1.53 inches. In Stock.
-
Das V-modell XT : Grundlagen, methodik und anwendungen -Language: german
Buch 39 von 100: eXamen.pressAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Program Construction : International Summer School
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - A more formal treatment of a less simple example.- Stationary behaviour of some ternary networks.- Finding the correctness proof of a concurrent program.- On the interplay between mathematics and programming.- A theorem about odd powers of odd integers.- In honour of Fibonacci.- On the foolishness of 'natural language programming'.- Program inversion.- The Schorr-Waite graph marking algorithm.- Eliminating the chaff.- Proofs, programs and their development - The axiomatic approach.- Current ideas in programming methodology.- Basic axiomatic definitions.- The multiple assignment statement.- Is sometimes ever better than always .- A case study in language design: Euclid.- Proof rules for the programming language Euclid.- Verification of Euclid programs.- Specifications and proofs for abstract data types in concurrent programs.- Specification and verification of a network mail system.- From specification to implementation - The formal approach.- Program development by stepwise transformations - The project CIP.- Systematics of transformation rules.- Special transformation techniques.- A study on transformational semantics.- Detailization and lazy evaluation, infinite objects and pointer representation.- Examples for change of types and object structures.- Development of the Schorr-Waite algorithm.- A derivation-oriented proof of the Schorr-Waite marking algorithm.- Languages as tools - Interactive program construction.- Programing languages for reliable computing systems.- Programming methodology and language implications.- Towards a wide spectrum language to support program specification and program development.- Semantics of nondeterministic and noncontinuous constructs.- Notes on type abstraction.- Some theoretical aspects of program construction.
-
Taschenbuch. Zustand: Neu. Program Construction | International Summer School | F. L. Bauer (u. a.) | Taschenbuch | x | Englisch | 1979 | Springer | EAN 9783540092513 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
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:)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 115,56
EUR 13,87 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Constructive Methods in Computing Science : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
