Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science)

Lingua: inglese

Editore: Springer 2008-06-13, 2008

3540406646 / 9783540406648

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Venditore AbeBooks dal 2 agosto 2010

Visualizza gli articoli di questo venditore
Brossura

Condizione: Nuovo

EUR 57,30

EUR 18,03 spedizione 
Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni
Titolo
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science)
Autore
Burkhart Wolff, David Basin
Editore
Springer 2008-06-13
Anno di pubblicazione
2008
Condizione
New
Rilegatura
Paperback
Lingua
inglese
ISBN 10
3540406646
ISBN 13
9783540406648

Chiron Media

Wallingford, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 2 agosto 2010

Tariffe di spedizione da Regno Unito a U.S.A.

ArticoloDa 14 a 21 giorni lavorativiDa 14 a 21 giorni lavorativi
Primo articoloEUR 18,03EUR 18,03
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Informazioni sull’azienda del venditore

WRAP Ltd

Unit 4, 119 Loverock Rd
Reading, Regno Unito RG30 1DZ