Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings - Lecture Notes in Computer Science - Mark D Aagaard - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540001164 - keskiviikko 23. lokakuuta 2002
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings - Lecture Notes in Computer Science 2002 edition

Mark D Aagaard

Hinta
Íkr 7.522,90

Tilattu etävarastosta

Arvioitu toimitus ke - to 23. - 31. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings - Lecture Notes in Computer Science 2002 edition

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation.

408 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 23. lokakuuta 2002
ISBN13 9783540001164
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 408
Mitta 155 × 235 × 21 mm   ·   612 g
Kieli German  
Toimittaja Aagaard, Mark D.
Toimittaja O'Leary, John W.
Näytä kaikki

Lisää tuotteita Mark D Aagaard

Katso kaikki joka sisältää Mark D Aagaard ( Esim. Paperback Book )