Cousot, Radhia
(redaktør)
Verification, Model Checking, and Abstract Interpretation e-bog
436,85 DKK
E-bog
436,85 DKK
Forlag
Springer
Udgivet
04.02.2005
Genrer
UMC
Sprog
English
Format
pdf
Beskyttelse
LCP
ISBN
9783540305798
Dansk