Computer Aided Verification (e-bog) af -
Jackson, Paul (redaktør)

Computer Aided Verification e-bog

875,33 DKK (inkl. moms 1094,16 DKK)
E-bog 875,33 DKK
Forfattere Jackson, Paul (redaktør)
Forlag Springer
Udgivet 9 juli 2010
Genrer UKN
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783642142956