Formal Methods in Computer-Aided Design : Proceedings of the 4th International Conference, FMCAD 2002, Portland, OR, November 6-8, 2002 (Lecture Notes in Computer Science, Vol. 2517).

Lingua: inglese

Editore: New York, NY, U.S.A. Springer-Verlag New York, Incorporated, 2002

3540001166 / 9783540001164

Da: CSG Onlinebuch GMBH, Darmstadt, GermaniaCSG Onlinebuch GMBH

Venditore con 5 stelle

Venditore AbeBooks dal 6 settembre 2022

Brossura

Condizione: Usato - Molto buono

EUR 16,92

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, Mängelexemplar, XI, 399 p. About this book: This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002. The 23 revised full papers presented were carefully reviewed and selected from 47 submissions. The book offers topial sections on abstraction, symbolic simulation, model checking, microprocessor specification and verification, decision procedures, verification techniques and methodology, hardware description languages, and prototyping and synthesis. Written for research and development professionals.

Codice articolo 13391

Titolo
Formal Methods in Computer-Aided Design : Proceedings of the 4th International Conference, FMCAD 2002, Portland, OR, November 6-8, 2002 (Lecture Notes in Computer Science, Vol. 2517).
Autore
Mark (editor) and John W. (editor) OLeary Aagaard
Editore
New York, NY, U.S.A. Springer-Verlag New York, Incorporated
Anno di pubblicazione
2002
Condizione
Gut
Rilegatura
Softcover
Lingua
inglese
ISBN 10
3540001166
ISBN 13
9783540001164

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