Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Author Solutions, 2014
ISBN 10: 1452594023ISBN 13: 9781452594026
Buch
Zustand: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. Bundled media such as CDs, DVDs, floppy disks or access codes may not be included.
Zustand: As New. Like New condition. Like New dust jacket. A near perfect copy that may have very minor cosmetic defects.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 20,77
Gebraucht ab EUR 6,59
Mehr entdecken Hardcover
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 3,74
Verlag: Cambridge University Press, 2002
ISBN 10: 052182060XISBN 13: 9780521820608
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 98,40
Gebraucht ab EUR 4,26
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,59
Gebraucht ab EUR 8,11
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, 1997
ISBN 10: 0521586542ISBN 13: 9780521586542
Anbieter: Ammareal, Morangis, Frankreich
Buch
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères 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, Very good. Former library book. Slight signs of wear on the cover. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
Mehr Angebote von anderen Verkäufern bei ZVAB
Gebraucht ab EUR 19,62
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,20
Gebraucht ab EUR 74,40
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,60
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, 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, 2008
ISBN 10: 0521607655ISBN 13: 9780521607650
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.
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, 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.