Gesamtpreis (1 Artikel Artikel):
Versandziel:
yves bertot (22 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (22)
- 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 (12)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (5)
- Gut oder Befriedigend (4)
- Ausreichend oder Schlecht (1)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (6)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Sprache: Englisch
EUR 3,00
Währung umrechnenEUR 22,50 für den Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2009. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Sprache: Englisch
EUR 3,00
Währung umrechnenEUR 22,50 für den Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2009. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
EUR 34,52
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Fair. 2004. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way.
-
Interactive Theorem Proving and Program Development: CoqâArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Verlag: Springer (edition Softcover reprint of hardcover 1st ed. 2004), 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Sprache: Englisch
EUR 36,70
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Softcover reprint of hardcover 1st ed. 2004.
-
Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions
Verlag: Springer Berlin / Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Sprache: Englisch
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 36,73
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
From Semantics to Computer Science
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 41,20
Währung umrechnenEUR 7,44 für den Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. xix + 574 7 Illus.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Sprache: Englisch
Anbieter: Homeless Books, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 50,00
Währung umrechnenEUR 19,95 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Wie neu. The book is in very good condition and does not appear to have been read. Only very minor shelf wear to the cover. Language: English. Ships from Berlin.
-
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,92
Währung umrechnenEUR 13,71 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690, Band 1690)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 11,66
Währung umrechnenEUR 61,50 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Gut. 372 Seiten; 9783540664635.3 Gewicht in Gramm: 1.
-
Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.
Verlag: Berlin: Springer., 1999
Sprache: Englisch
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Verkäuferbewertung 5 von 5 Sternen
EUR 9,40
Währung umrechnenEUR 75,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Wie neu. VIII, 358 S. with fig and tables; 24 cm, Like new. Shrink wrapped. / Wie neu. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 600.
-
From Semantics To Computer Science: Essays In Honour Of Gilles Kahn
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Sprache: Englisch
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 87,18
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 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.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Coq'Art: The Calculus of Inductive Constructions
Anbieter: Antiquariat Mäander Quell, Waldshut-Tiengen, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 34,00
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Gut. 2004. 497 S. - Wir versenden aus unserem deutschen Lager heraus in plastikfreien oder wiederverwendeten Polstertaschen. Sprache: Englisch Gewicht in Gramm: 1940 Gebundene Ausgabe, Maße: 16.41 cm x 3.23 cm x 23.77 cm.
-
Theorem Proving in Higher Order Logics
Verlag: Springer Berlin Heidelberg, 1999
ISBN 10: 3540664637 ISBN 13: 9783540664635
Sprache: Englisch
EUR 48,37
Währung umrechnenEUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 87,40
Währung umrechnenEUR 13,71 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
Interactive Theorem Proving and Program Development
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 104,42
Währung umrechnenEUR 6,72 für den Versand von Vereinigtes Königreich nach USAAnzahl: 5 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Verlag: Springer Berlin Heidelberg, 1999
ISBN 10: 3540664637 ISBN 13: 9783540664635
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 62,82 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs 99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences,anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under the following title : Theorem ProvinginHigherOrderLogics:EmergingTrends1999. The organizers were pleased that Dominique Bolignano, Arjeh Cohen, and Thomas Kropf accepted invitations to be guest speakers for TPHOLs 99. For several years, D. Bolignano has been the leader of the VIP team in the Dyade consortium between INRIA and Bull and is now at the head of a company Trusted Logic. His team has been concentrating on the use of formal methods for the e ective veri cationof securityproperties for protocols used in electronic commerce. A. Cohen has had a key in uence on the development of computer algebra in The Netherlands and his contribution has been of particular imp- tance to researchersinterested in combining the severalknown methods of using computers to perform mathematical investigations. T. Kropf is an important actor in the Europe-wide project PROSPER, which aims to deliver the be- ts of mechanized formal analysis to system builders in industry.
-
Bertot,Y.:Interactive Theorem Proving (eng)
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 4 von 5 Sternen
EUR 89,51
Währung umrechnenEUR 37,99 für den Versand von Italien nach USAAnzahl: 5 verfügbar
In den WarenkorbZustand: new.
-
Interactive Theorem Proving and Program Development
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 122,77
Währung umrechnenEUR 13,71 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Verlag: Springer Berlin Heidelberg, 1999
ISBN 10: 3540664637 ISBN 13: 9783540664635
Sprache: Englisch
EUR 29,99
Währung umrechnenEUR 105,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Sprache: Englisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 135,45
Währung umrechnenEUR 13,71 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 198,44
Währung umrechnenEUR 17,17 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 574 pages. 9.75x7.25x1.00 inches. In Stock.
-
From Semantics to Computer Science
Verlag: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 240,77
Währung umrechnenEUR 65,97 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbBuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology.
