Importo totale (1 articolo articoli):
Destinazione ordine:
9780387237596 - Adapting Proofs-as-Programs: The Curry--Howard Protocol di Poernomo, Iman; Crossley, John N.; Wirsing, Martin (18 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (18)
- 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 (14)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (18)
- Brossura (Nessun altro risultato corrispondente a questo perfezionamento)
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 (5)
- Non Print on Demand (17)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Adapting Proofs-as-Programs: The Curry--Howard Protocol Monographs in Computer Science
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 29,95
Spedizione EUR 15,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellogebundene Ausgabe. Condizione: Gut. 420 Seiten Das Buch befindet sich in einem ordentlich erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 735.
-
Adapting Proofs-As-Programs (Hb)
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.
-
Adapting Proofs-As-Programs (Hb)
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.
-
Adapting Proofs-as-Programs
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 436.
-
Adapting Proofs-as-Programs
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 75,57
Spedizione EUR 7,62
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 436 Illus.
-
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
ADAPTING PROOFS-AS-PROGRAMS
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.
-
Adapting Proofs-as-Programs
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 75,91
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 436.
-
Adapting Proofs-as-programs : The Curry-howard Protocol
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.
-
Adapting Proofs-as-programs : The Curry-howard Protocol
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.
-
Edizione InternazionaleADAPTING PROOFS-AS-PROGRAMS (HB)
Da: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 109,40
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: 7 disponibili
Aggiungi al carrelloCondizione: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 166,49
Spedizione EUR 14,05
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Adapting Proofs-As-Programs : The Curry-Howard Protocol
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 166,47
Spedizione EUR 17,59
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Adapting Proofs-As-Programs : The Curry-Howard Protocol
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 182,91
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Adapting Proofs-As-Programs : The Curry-Howard Protocol
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 236,73
Spedizione EUR 17,59
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 227,07
Spedizione EUR 29,32
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
-
Adapting Proofs-As-Programs : The Curry-Howard Protocol
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 261,69
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
EUR 137,26
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Details several important advances in the direction of practical proofs-as-programs paradigm, which has applications in industrial-scale, complex software engineering problemsThe authors develop two novel applications in large-scale, coarse-grain .
