Verification, Model Checking, and Abstract Interpretation
397
Pagini
2010
An
Paperback
Copertă
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Copertă
Paperback
Pagini
397
An publicare
2010
ISBN
9783642113185
Conectează-te pentru a lăsa o recenzie
🔥
🔥
🔥
🔥
🔥
Nicio recenzie încă
Fii primul care lasă o impresie.
