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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540001164 - October 23, 2002
In case cover and title do not match, the title is correct

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

Price
CA$ 95.01

Ordered from remote warehouse

Expected delivery Jun 3 - 11

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released October 23, 2002
ISBN13 9783540001164
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 408
Dimensions 155 × 235 × 21 mm   ·   612 g
Language German  
Editor Aagaard, Mark D.
Editor O'Leary, John W.
Show all

More by Mark D Aagaard

See all of Mark D Aagaard ( e.g. Paperback Book )