Produktart
Zustand
Einband
Weitere Eigenschaften
Land des Verkäufers
Verkäuferbewertung
Verlag: Cambridge University Press, 1997
ISBN 10: 0521586542ISBN 13: 9780521586542
Anbieter: Better World Books, Mishawaka, IN, USA
Buch
Zustand: Good. Used book that is in clean, average condition without any missing pages.
Mehr Angebote von anderen Verkäufern bei ZVAB
Gebraucht ab EUR 9,57
Verlag: Cambridge University Press, 1997
ISBN 10: 0521583888ISBN 13: 9780521583886
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Buch
Hardback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Mehr Angebote von anderen Verkäufern bei ZVAB
Gebraucht ab EUR 4,99
Verlag: Cambridge University Press, 2002
ISBN 10: 052182060XISBN 13: 9780521820608
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Buch
Hardback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 98,48
Gebraucht ab EUR 6,51
Mehr entdecken Hardcover
Verlag: Princeton University Press, 2014
ISBN 10: 0691164738ISBN 13: 9780691164731
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Buch
Zustand: Good. Most items will be dispatched the same or the next working day.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 15,60
Gebraucht ab EUR 8,12
Mehr entdecken Softcover
Verlag: Cambridge University Press, 1997
ISBN 10: 052158387XISBN 13: 9780521583879
Anbieter: Ammareal, Morangis, Frankreich
Buch
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Cambridge University Press, 2008
ISBN 10: 0521607655ISBN 13: 9780521607650
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Buch
Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 122,20
Gebraucht ab EUR 38,55
Mehr entdecken Softcover
Verlag: Cambridge University Press, 1997
ISBN 10: 052158275XISBN 13: 9780521582759
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Buch
Broschiert. Zustand: Gut. 398 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Englisch Gewicht in Gramm: 700.
Verlag: Cambridge University Press (edition ), 2004
ISBN 10: 0521607647ISBN 13: 9780521607643
Anbieter: BooksRun, Philadelphia, PA, USA
Buch
Paperback. Zustand: Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 79,26
Gebraucht ab EUR 74,64
Mehr entdecken Softcover
Verlag: Princeton University Press 2012-06-22, Princeton, N.J. |Oxford, 2012
ISBN 10: 0691155747ISBN 13: 9780691155746
Anbieter: Blackwell's, London, Vereinigtes Königreich
Buch
hardback. Zustand: New. Language: ENG.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 33,63
Verlag: Cambridge University Press, 1991
ISBN 10: 0521416957ISBN 13: 9780521416955
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Buch
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. With usual stamps and markings, In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9780521416955.
Verlag: Cambridge University Press, 2014
ISBN 10: 110704801XISBN 13: 9781107048010
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Separation logic is the twenty-first-century variant of Hoare logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of separation logic at a level accessible to beginning graduate students interested in software verification. On the practical side it offers an introduction to verification in Hoare and separation logics, simple case studies for toy languages, and the Verifiable C program logic for the C programming language. On the theoretical side it presents separation algebras as models of separation logics; step-indexed models of higher-order logical features for higher-order programs; indirection theory for constructing step-indexed separation algebras; tree-shares as models for shared ownership; and the semantic construction (and soundness proof) of Verifiable C. In addition, the book covers several aspects of the CompCert verified C compiler, and its connection to foundationally verified software analysis tools. All constructions and proofs are made rigorous and accessible in the Coq developments of the open-source Verified Software Toolchain.
Verlag: Cambridge University Press, 1997
ISBN 10: 0521587751ISBN 13: 9780521587754
Anbieter: Ammareal, Morangis, Frankreich
Buch
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Cambridge University Press, 2007
ISBN 10: 052103311XISBN 13: 9780521033114
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The control and data flow of a program can be represented using continuations, a concept from denotational semantics that has practical application in real compilers. This book shows how continuation-passing style is used as an intermediate representation on which to perform optimizations and program transformations. Continuations can be used to compile most programming languages. The method is illustrated in a compiler for the programming language Standard ML. However, prior knowledge of ML is not necessary, as the author carefully explains each concept as it arises. This book shows how concepts from the theory of programming languages can be applied to the producton of practical optimizing compilers for modern languages like ML. This book will be essential reading for compiler writers in both industry and academe, as well as for students and researchers in programming language theory.