Filter
Sökt på: Sökresultat
Filter
1 träff
Formal Methods in Computer-Aided Design
häftad,
2002,
Engelska,
ISBN 9783540001164
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical …