Verlag: Springer Berlin Heidelberg, 1995
ISBN 10: 354060359X ISBN 13: 9783540603597
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 10,40
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 488 | Sprache: Englisch | Produktart: Sonstiges.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 53,49
Gebraucht ab EUR 10,40
Mehr entdecken Softcover
Anbieter: Buchpark, Trebbin, Deutschland
EUR 10,98
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
EUR 9,95
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbBroschiert. Zustand: Gut. 244 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 440.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 106,99
Gebraucht ab EUR 13,15
Mehr entdecken Softcover
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
EUR 7,99
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 714; 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.
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
EUR 9,38
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:9783540617563.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 53,49
Gebraucht ab EUR 15,76
Mehr entdecken Softcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
EUR 5,48
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Sept. 1 (holiday Sale Item)* 433 pp., Paperback, ex library, else text clean and binding 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.
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
EUR 7,87
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.9.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
EUR 27,37
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 27,37
Gebraucht ab EUR 30,82
Mehr entdecken Softcover
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italien
EUR 22,00
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: NEW.
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
EUR 27,09
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 53,49
Gebraucht ab EUR 33,29
Mehr entdecken Softcover
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
EUR 32,30
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoftcover. 1980. 341 p. ATTENTION 1980 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540099819 Sprache: Englisch Gewicht in Gramm: 567.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 53,49
Gebraucht ab EUR 34,80
Mehr entdecken Softcover
Verlag: The M.I.T Press, Cambridge, 1988
ISBN 10: 0262610558 ISBN 13: 9780262610551
Sprache: Englisch
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
EUR 28,44
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. crease going down the spine and rubbing along the edges and ends,
Anbieter: JuddSt.Pancras, London, Vereinigtes Königreich
Verbandsmitglied: PBFA
EUR 29,77
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: Very Good. Cover slightly creased and rubbed.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 182,64
Gebraucht ab EUR 37,86
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 1982
ISBN 10: 3540114947 ISBN 13: 9783540114949
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 37,44
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Applicative communicating processes in first order logic.- A machine-level semantics for nondeterministic, parallel programs.- A formalized proof system for total correctness of while programs.- Automatic program transformation viewed as theorem proving.- An enlarged definition and complete axiomatization of observational congruence of finite processes.- Perluette : A compilers producing system using abstract data types.- A weakest precondition semantics for communicating processes.- From abstract model to efficient compilation of patterns.- Computer-based synthesis of logic programs.- On some syntactic equivalences of program schemas and related transformations.- Procedures and concurrency: A study in proof.- Another characterization of weakest preconditions.- Powerdomains and nondeterministic recursive definitions.- Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code.- The simple semantics for Coppo-Dezani-Sall¿ypes.- Proving the correctness of implementations of shared data abstractions.- Specification of communicating processes and process implementation correctness.- A system for reasoning within and about algebraic specifications.- Tuning algebraic specifications by type merging.- Communicating agents for applicative concurrent programming.- On effective computations of non-deterministic schemes.- Specification and verification of concurrent systems in CESAR.- Proof of separability A verification technique for a class of security kernels.- A method for program synthesis.- The use of transformations to implement an algorithm.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 37,44
Gebraucht ab EUR 41,01
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 1992
ISBN 10: 3540558446 ISBN 13: 9783540558446
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 41,68
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 508 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 53,49
Gebraucht ab EUR 41,68
Mehr entdecken Softcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
EUR 23,14
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. *Price HAS BEEN REDUCED by 10% until Monday, Sept. 1 (holiday Sale Item)* 3 volumes, 550 + 589 + 413 pp., hardcovers, hand stamp to the front free endpaper of each volume, else fine in good+ dust jackets. - 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.
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642122507 ISBN 13: 9783642122507
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 42,08
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 368 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 53,49
Gebraucht ab EUR 42,08
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 1994
ISBN 10: 3540584021 ISBN 13: 9783540584025
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 42,18
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 488 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 53,49
Gebraucht ab EUR 42,18
Mehr entdecken Softcover
Anbieter: Studibuch, Stuttgart, Deutschland
EUR 42,35
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Gut. 268 Seiten; 9783030589196.3 Gewicht in Gramm: 500.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 76,17
Gebraucht ab EUR 42,35
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2009
ISBN 10: 3642037925 ISBN 13: 9783642037924
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 42,32
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 112 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 53,49
Gebraucht ab EUR 42,32
Mehr entdecken Softcover
Verlag: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031911202 ISBN 13: 9783031911200
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 42,79
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025.The 30 full papers included in the proceedings were carefully reviewed and selected from a total of 88 submissions. The proceedings also contain two short artifact reports. The papers focus on aspects of programming language research such as programming paradigns and styles; methods and tools to specify and reason about programs and languages; programming language foundations; methods and tools for implementation, concurrency and districution; and applications and emerging topics.
Anbieter: Buchpark, Trebbin, Deutschland
EUR 42,78
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 331 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 66,27
Gebraucht ab EUR 42,78
Mehr entdecken Softcover
Verlag: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031911172 ISBN 13: 9783031911170
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 42,79
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025.The 30 full papers included in the proceedings were carefully reviewed and selected from a total of 88 submissions. The proceedings also contain two short artifact reports. The papers focus on aspects of programming language research such as programming paradigns and styles; methods and tools to specify and reason about programs and languages; programming language foundations; methods and tools for implementation, concurrency and districution; and applications and emerging topics.
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
EUR 40,62
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Like New. Used - Like New. This is a brand new book! Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 64,26
Gebraucht ab EUR 45,16
Mehr entdecken Softcover
Anbieter: Books From California, Simi Valley, CA, USA
EUR 36,13
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Good.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 74,46
Gebraucht ab EUR 48,54
Mehr entdecken Softcover
Anbieter: ALLBOOKS1, Direk, SA, Australien
EUR 51,30
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorb
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 46,59
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 52,35
Gebraucht ab EUR 91,99
Mehr entdecken Softcover
Verlag: Springer International Publishing, 2016
ISBN 10: 3319296035 ISBN 13: 9783319296036
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 51,36
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; program transformation and re-writing; and extracting programsfrom proofs of their correctness.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 51,36
Gebraucht ab EUR 73,62
Mehr entdecken Softcover
Verlag: Springer International Publishing, 2022
ISBN 10: 3030994600 ISBN 13: 9783030994600
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 52,16
Währung umrechnenAnzahl: 3 verfügbar
In den WarenkorbZustand: Hervorragend. Zustand: Hervorragend | Seiten: 300 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 69,54
Gebraucht ab EUR 52,16
Mehr entdecken Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 48,13
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.