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 - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540001164 - 23. oktober 2002
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 22. - 28. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 23. oktober 2002
ISBN13 9783540001164
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 408
Mål 155 × 235 × 21 mm   ·   612 g
Sprog Tysk  
Klipper/redaktør Aagaard, Mark D.
Klipper/redaktør O'Leary, John W.
Vis alle

Mere med Mark D Aagaard

Se alt med Mark D Aagaard ( f.eks. Paperback Bog )