Editions

Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, Tx, Usa, November 1-3, 2000 Proceedings

Current edition
Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, Tx, Usa, November 1-3, 2000 Proceedings by

Lecture Notes in Computer Science

Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, Tx, Usa, November 1-3, 2000 Proceedings

552 pages

nonfiction computer science design medium-paced
Other editions (3)
Expand filter menu Filter editions
Formal Methods in Computer-Aided Design: 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 6-8, 2002, Proceedings by

Lecture Notes in Computer Science

Formal Methods in Computer-Aided Design: 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 6-8, 2002, Proceedings

408 pages

nonfiction computer science design medium-paced
Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings by

Lecture Notes in Computer Science

Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings

448 pages

nonfiction computer science design medium-paced
Formal Methods in Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings by

Lecture Notes in Computer Science

Formal Methods in Computer-Aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings

538 pages

nonfiction computer science design medium-paced