Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure: Proof Engines For The Analysis Of Hybrid Discrete-Continuous Systems

Lingua: inglese

Editore: Vieweg+Teubner, 2011

3834814946 / 9783834814944

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Venditore AbeBooks dal 6 gennaio 2003

Visualizza gli articoli di questo venditore
Brossura

Condizione: Nuovo

EUR 76,34

EUR 11,63 spedizione 
Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

2011 edition. 180 pages. 8.20x5.70x0.50 inches. In Stock.

Codice articolo x-3834814946

Titolo
Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure: Proof Engines For The Analysis Of Hybrid Discrete-Continuous Systems
Autore
Herde, Christian; Herde, Christian
Editore
Vieweg+Teubner
Anno di pubblicazione
2011
Condizione
Brand New
Rilegatura
Paperback
Lingua
inglese
ISBN 10
3834814946
ISBN 13
9783834814944
Peso dell'articolo
0,3 chilogrammi

Revaluation Books

Exeter, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 6 gennaio 2003

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

ArticoloDa 7 a 14 giorni lavorativiDa 2 a 3 giorni lavorativi
Primo articoloEUR 11,63EUR 29,09
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

Edward Bowditch Ltd

Exstowe, Exton
Exeter, Regno Unito EX3 0PP