Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science)

Lingua: inglese

Editore: Springer 2011-07-12, 2011

3642224377 / 9783642224379

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,63

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

Quantità: 10 disponibili

Aggiungi al carrello
Titolo
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science)
Autore
Nikolaj Bjorner, Viorica Sofronie-Stokkermans
Editore
Springer 2011-07-12
Anno di pubblicazione
2011
Condizione
New
Rilegatura
Paperback
Lingua
inglese
ISBN 10
3642224377
ISBN 13
9783642224379

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,06EUR 18,06
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