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 paperback

4 editions

nonfiction computer science design medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

This volumecontains the proceedingsof the Second InternationalConferenceon Formal Methods in Computer-Aided Design (FMCAD'98), organized November 4-6, in Palo Alto, California, USA. The rst event of this series was organized byMandayamSrivasand Al...

Show More

Community Reviews

Loading...

Content Warnings

Loading...