Importo totale (1 articolo articoli):
Destinazione ordine:
gamboa ruben (40 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (40)
- 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 Maggiori informazioni
- Nuovo (31)
- Come nuovo, Ottimo o Quasi ottimo (7)
- Molto buono o Buono (2)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
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 (18)
- Non Print on Demand (35)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Essential Logic for Computer Science (Mit Press)
Da: Bellwetherbooks, McKeesport, PA, U.S.A.
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: Very Good. Very Good Condition - May show some limited signs of wear and may have a remainder mark. Pages and dust cover are intact and not marred by notes or highlighting.
-
Essential Logic for Computer Science (Mit Press)
Da: Bellwetherbooks, McKeesport, PA, U.S.A.
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: Fine. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages.
-
Essential Logic for Computer Science (Mit Press)
Da: Bay State Book Company, North Smithfield, RI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: very_good.
-
Essential Logic for Computer Science (Mit Press)
Da: Big River Books, Powder Springs, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: new.
-
Essential Logic for Computer Science (The MIT Press)
Da: BookResQ., West Valley City, UT, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. Priority Mail is available on this item. No international shipping.
-
ESSENTIAL LOGIC FOR COMPUTER SCIENCE
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New.
-
Essential Logic for Computer Science
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Essential Logic for Computer Science
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Essential Logic for Computer Science
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
ESSENTIAL LOGIC FOR COMPUTER SCIENCE
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 47,37
Spedizione EUR 7,45
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
ESSENTIAL LOGIC FOR COMPUTER SCIENCE
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
ESSENTIAL LOGIC FOR COMPUTER SCIENCE
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
EUR 57,06
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New.
-
Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 55,01
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
ESSENTIAL LOGIC FOR COMPUTER SCIENCE
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 50,11
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Essential Logic for Computer Science
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 48,54
Spedizione EUR 17,19
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
-
Essential Logic for Computer Science (Mit Press)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,59
Spedizione EUR 13,73
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Essential Logic for Computer Science
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 55,99
Spedizione EUR 17,19
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-1
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,68
Spedizione EUR 17,75
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Essential Logic for Computer Science
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,01
Spedizione EUR 14,32
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 304 pages. 9.00x7.00x0.88 inches. In Stock.
-
Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,61
Spedizione EUR 17,19
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Interactive Theorem Proving
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 580.
-
Essential Logic for Computer Science
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 77,38
Spedizione EUR 14,32
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 304 pages. 9.00x7.00x0.88 inches. In Stock.
-
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 82,84
Spedizione EUR 14,32
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2014 edition. 570 pages. 9.25x6.10x1.40 inches. In Stock.
-
Essential Logic for Computer Science
Da: Rarewaves USA United, OSWEGO, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 58,76
Spedizione EUR 43,40
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New.
-
Interactive Theorem Proving
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing Aug 2014, 2014
ISBN 10: 3319089692 ISBN 13: 9783319089690
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 580 pp. Englisch.
-
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Lingua: Inglese
Editore: Springer International Publishing, 2014
ISBN 10: 3319089692 ISBN 13: 9783319089690
EUR 53,49
Spedizione EUR 64,34
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Interactive Theorem Proving | 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings | Gerwin Klein (u. a.) | Taschenbuch | xxii | Englisch | 2014 | Springer | EAN 9783319089690 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 109,73
Spedizione EUR 17,19
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
