Correct hardware design and verification methods: 10th ifip wg10.5 advanced research working conference, charme '99, bad herrenalb, germany, september 27-29, 1999, proceedings
Auteur :
Pierre, Laurence
ISBN :
9783540665595
Date de publication :
15 sept. 1999
Dimensions :
23,4 x 15,6 x 2,0 cm
Poids :
543 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The refereed proceedings of the 10th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME '99). Areas covered include model checking, formal methods and industrial applications, and theorem proving and related approaches.