Gesamtpreis (1 Artikel Artikel):
Versandziel:
bertot yves (18 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (18)
- 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
Einband
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 5,32
Währung umrechnenEUR 9,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
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 10,60
Währung umrechnenEUR 20,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
Hardcover. 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
Hardcover. 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
Hardcover. 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 64,25
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Fair. 2004. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions
Verlag: Springer Berlin / Heidelberg, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Sprache: Englisch
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 70,16
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
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 61,54
Währung umrechnenEUR 14,09 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
Verlag: Springer Berlin Heidelberg, 1999
ISBN 10: 3540664637 ISBN 13: 9783540664635
Sprache: Englisch
EUR 29,99
Währung umrechnenEUR 45,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 372 | Sprache: Englisch | Produktart: Bücher.
-
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 30,81 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.
-
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 27,80
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
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) Coq'Art: The Calculus of Inductive Constructions
Anbieter: Antiquariat Mäander Quell, Waldshut-Tiengen, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 38,90
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.
-
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 93,03
Währung umrechnenEUR 14,09 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: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 130,82
Währung umrechnenEUR 14,09 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
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 131,77
Währung umrechnenEUR 14,09 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
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 233,62
Währung umrechnenEUR 33,96 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.
