Rajaa
Hakutulokset: k. w. design
Rajaa
yhteensä 2 hakutulosta
Formal Methods in Computer-Aided Design
nidottu,
2002,
englanti,
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 …
Interactive Systems. Design Specification, and Verification
nidottu,
2006,
englanti,
ISBN 9783540341451
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 …