Importo totale (1 articolo articoli):
Destinazione ordine:
yves bertot (56 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (56)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (17)
- Non Print on Demand (48)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Editore: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Lingua: Inglese
EUR 4,30
Convertire valutaEUR 4,00 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Editore: Berlin: Springer., 1999
Lingua: Inglese
Da: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germania
Membro dell'associazione: GIAQ
Valutazione del venditore 5 su 5 stelle
EUR 10,20
Convertire valutaEUR 8,00 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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.
-
Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Editore: Springer Berlin Heidelberg, 1999
ISBN 10: 3540664637 ISBN 13: 9783540664635
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 372 | Sprache: Englisch | Produktart: Bücher.
-
EUR 23,54
Convertire valutaEUR 17,90 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Gut. 372 Seiten; 9783540664635.3 Gewicht in Gramm: 1.
-
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
Da: Antiquariat Mäander Quell, Waldshut-Tiengen, Germania
Valutazione del venditore 5 su 5 stelle
EUR 38,50
Convertire valutaEUR 7,95 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Editore: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Lingua: Inglese
EUR 38,90
Convertire valutaEUR 8,00 per la spedizione da Francia a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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
Editore: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Lingua: Inglese
EUR 38,90
Convertire valutaEUR 8,00 per la spedizione da Francia a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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
Editore: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Lingua: Inglese
EUR 38,90
Convertire valutaEUR 8,00 per la spedizione da Francia a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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
Editore: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Lingua: Inglese
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 43,05
Convertire valutaEUR 10,48 per la spedizione da Regno Unito a ItaliaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. xix + 574 7 Illus.
-
Theorem Proving in Higher Order Logics
Editore: Springer Berlin Heidelberg, 1999
ISBN 10: 3540664637 ISBN 13: 9783540664635
Lingua: Inglese
EUR 48,37
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Editore: Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Lingua: Inglese
EUR 50,00
Convertire valutaEUR 10,95 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: 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
Editore: Springer Berlin Heidelberg, 1999
ISBN 10: 3540664637 ISBN 13: 9783540664635
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,95
Convertire valutaEUR 10,64 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,75
Convertire valutaEUR 17,45 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 6,17
Convertire valutaEUR 65,48 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Editore: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Lingua: Inglese
EUR 7,27
Convertire valutaEUR 65,48 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Very Good. Open Books is a nonprofit social venture that provides literacy experiences for thousands of readers each year through inspiring programs and creative capitalization of books.
-
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,94
Convertire valutaEUR 17,75 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 64,73
Convertire valutaEUR 17,45 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,53
Convertire valutaEUR 17,75 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
From Semantics To Computer Science: Essays In Honour Of Gilles Kahn
Editore: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Lingua: Inglese
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 86,35
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
-
From Semantics To Computer Science: Essays In Honour Of Gilles Kahn
Editore: Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Lingua: Inglese
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 86,61
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions
Editore: Springer Berlin / Heidelberg, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Lingua: Inglese
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 69,24
Convertire valutaEUR 18,09 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Interactive Theorem Proving and Program Development
Da: Eve's Book Garden, Albany, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 67,45
Convertire valutaEUR 26,19 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Fine. Looking very bright & new. Not issued with jacket. Benefits the Friends of the Albany, Ca Library.
-
EUR 4,50
Convertire valutaEUR 94,29 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 93,65
Convertire valutaEUR 10,64 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In English.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 87,73
Convertire valutaEUR 17,45 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 93,64
Convertire valutaEUR 17,75 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 89,80
Convertire valutaEUR 23,66 per la spedizione da Regno Unito a ItaliaQuantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,55
Convertire valutaEUR 65,48 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Interactive Theorem Proving and Program Development
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 62,92
Convertire valutaEUR 65,48 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Fair. 2004. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
