Verification, Model Checking, and Abstract Interpretation.

Lingua: inglese

Editore: Springer Verlag, 2002

3540003487 / 9783540003489

Da: CSG Onlinebuch GMBH, Darmstadt, GermaniaCSG Onlinebuch GMBH

Venditore con 5 stelle

Venditore AbeBooks dal 6 settembre 2022

Brossura

Condizione: Usato - Molto buono

EUR 25,46

EUR 95,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Gebraucht - Gut Zustand: Gut, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings XI, 325 p. Also available online. About this book: This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003. The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods. Written for Researchers and professionals.

Codice articolo 14907

Titolo
Verification, Model Checking, and Abstract Interpretation.
Autore
L.D Zuck
Editore
Springer Verlag
Anno di pubblicazione
2002
Condizione
Gut
Rilegatura
Softcover
Lingua
inglese
ISBN 10
3540003487
ISBN 13
9783540003489

CSG Onlinebuch GMBH

Darmstadt, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 6 settembre 2022

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 60 a 60 giorni lavorativiDa 60 a 60 giorni lavorativi
Primo articoloEUR 95,00EUR 110,00
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
  • Assegno
  • PayPal

Descrizione dello Store

Online Handel mit gebrauchten und antiquarischen Büchern.

Specializzazione

Gebrauchtbücher

Informazioni sull’azienda del venditore

CSG Onlinebuch GMBH

Bunsenstr. 6
Darmstadt, Germania 64293

CSG Onlinebuch GMBH
Geschäftsführer Stefan Gude
Bunsenstr. 6
64293 Darmstadt
Deutschland

Finanzamt Darmstadt HRB5604
Ust.-ID: DE147863163