Wang, Farn
(redaktør)
Automated Technology for Verification and Analysis e-bog
875,33 DKK
E-bog
875,33 DKK
Forlag
Springer
Udgivet
11.10.2004
Genrer
Computer-aided design (CAD)
Sprog
English
Format
pdf
Beskyttelse
LCP
ISBN
9783540304760
Dansk