You need to sign in or sign up before continuing.

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 paperback

4 editions

nonfiction computer science design medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algori...

Show More

Community Reviews

Loading...

Content Warnings

Loading...