Broy M (74 results)
- Hardcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Near fine
Original price: £ 5.43; 10% offCurrent price: £ 4.89
£ 14.10 shippingShips from France to U.S.A.Quantity: 1 available
Hardcover. Condition: 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.
- Hardcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Near fine
Original price: £ 5.43; 10% offCurrent price: £ 4.89
£ 14.10 shippingShips from France to U.S.A.Quantity: 1 available
Hardcover. Condition: 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.
Acta Informatica: Vol. 36, Fasc. 9/10, 2000
Bauer, F. L.; Broy, M.; Dijkstra, E. W.; Gries, D.; Turski, W. M. (eds.)
Published by Springer, Heidelberg, 2000
- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Very good
£ 4.46
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: 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
Language: English
Published by Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
£ 16.68
£ 13.63 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert. Condition: Gut. 268 S. Das Buch ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 430.
- Hardcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
£ 15.80
£ 17.04 shippingShips from Germany to U.S.A.Quantity: 1 available
gebundene Ausgabe. Condition: 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.
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L (Lecture Notes in Computer Science)
Bauer, F.L. [Assistant]; Berghammer, R. [Assistant]; Broy, M. [Assistant]; Dosch, W. [Assistant]; Geiselbrechtinger, F. [Assistant]; Gnatz, R. [Assistant]; Hangel, E. [Assistant]; Hesse, W. [Assistant]; Krieg-Brückner, B. [Assistant]; Laut, A. [Assistant]; Matzner, T. [Assistant]; Möller, B. [Assistant]; Nickl, F. [Assistant]; Partsch, H. [Assistant]; Pepper, P. [Assistant]; Samelson, K. [Assistant]; Wirsing, M. [Assistant]; Wössner, H. [Assistant];
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 29.36
£ 5.24 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good.
Language: English
Published by Berlin, Heidelberg, New York : Springer, 1979
- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
£ 20.19
£ 17.04 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert. Condition: 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 Alt…er entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1060.
- Hardcover
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.Doss-Haus Books
Contact seller5-star sellerCondition: Used - Very good
£ 39.35
£ 4.50 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: 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].
- Softcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - Good
£ 45.16
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Logic of Programming and Calculi of Discrete Design : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Broy, Manfred (EDT); Bauer, F. (CON); Broy, M. (CON); Dijkstra, E. W. (CON); Hoare, C. A. R. (CON)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 46.00
£ 1.98 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Language: English
Published by Dordrecht, Springer Netherlands., 2005
Series: NATO Science Series II: Mathematics, Physics and Chemistry, Book 153 of 241. Book 153 of 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Hardcover
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, GermanyUniversitätsbuchhandlung Herta Hold GmbH
Contact seller4-star sellerCondition: Used
£ 22.00
£ 25.63 shippingShips from Germany to U.S.A.Quantity: 1 available
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
Bauer, F.L.; Broy, M.; Dijkstra, E.W.; Hoare, C.A.R. (Directors); Broy, Manfred (Editor)
- Hardcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Very good
£ 39.00
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. 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-pa…per. Pages are otherwise clear and binding is sound. LW. Used.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 54.27
£ 1.98 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
More images- Hardcover
Seller: Studio Bibliografico Marini, ROMA, RM, ItalyStudio Bibliografico Marini
Contact seller4-star sellerCondition: Used - As new
£ 30.80
£ 29.90 shippingShips from Italy to U.S.A.Quantity: 1 available
hardcover. Condition: 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. C…ombinando 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: International Summer School (Lecture Notes in Computer Science, 69)
Bauer, F.L.; Dijkstra, E.W.; Gerhart, S.L.; Gries, D.; Griffiths, M.; Guttag, J. V.; Horning, J. J.; Owicki, S. S.; Pair, C.; Partsch, H.; Pepper, P.; Wirsing, M.; Wössner, H.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 48.75
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 45.98
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
Program Construction : International Summer School
Bauer, F. L.; Dijkstra, E. W.; Gerhart, S. L.; Gries, D.; Griffiths, M.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 62.01
£ 1.98 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1979
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 64.32
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1979 ed.
More imagesLanguage: English
Published by SHEPTON MALLET LOCAL HISTORY GROUP, SOMERSET ENGLAND, 2011
- Hardcover
Seller: Highstreet Books ABA ILAB, Honiton, United KingdomHighstreet Books ABA ILAB
Contact seller5-star sellerCondition: Used - As new
£ 40.00
£ 23.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: As New. Dust Jacket Condition: 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 .
- Hardcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermanyRoland Antiquariat UG haftungsbeschränkt
Contact seller5-star sellerCondition: Used
£ 28.16
£ 35.88 shippingShips from Germany to U.S.A.Quantity: 1 available
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.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 48.05
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.42
£ 1.98 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Program Construction : International Summer School
Bauer, F. L.; Dijkstra, E. W.; Gerhart, S. L.; Gries, D.; Griffiths, M.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 68.08
£ 1.98 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 74.95
£ 2.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 676.
Das V-modell XT : Grundlagen, methodik und anwendungen -Language: german
Höhn, Reinhard; Höppner, Stephan; Rausch, A. (CON); Broy, M. (CON); Petrasch, R. (CON)
Language: German
Published by Springer, 2008
Series: eXamen.press, Book 39 of 100. Book 39 of 100 - eXamen.press
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 40.30
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 71.19
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. reprint edition. 672 pages. 9.25x6.10x1.53 inches. In Stock.
Das V-modell XT : Grundlagen, methodik und anwendungen -Language: german
Höhn, Reinhard; Höppner, Stephan; Rausch, A. (CON); Broy, M. (CON); Petrasch, R. (CON)
Language: German
Published by Springer, 2008
Series: eXamen.press, Book 39 of 100. Book 39 of 100 - eXamen.press
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 43.14
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Constructive Methods in Computing Science: International Summer School (NATO ASI Series F: Computer and Systems Sciences, Volume 55)
Bauer, F.L., Broy, M., Dijkstra, E.W., Hoare, C.A., Broy, Manfred
- Hardcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: Used - Good
£ 93.56
£ 3.37 shippingShips within U.S.A.Quantity: 1 available
Condition: Good. 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. Photos ava…ilable upon request.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 44.24
£ 55.48 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 inte…gers.- 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.
