Verification, Model Checking, and Abstract Interpretation (e-bog) af -
Cortesi, Agostino (redaktør)

Verification, Model Checking, and Abstract Interpretation e-bog

436,85 DKK
E-bog 436,85 DKK
Forfattere Cortesi, Agostino (redaktør)
Forlag Springer
Udgivet 31.07.2003
Genrer UMC
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783540478133