"Verification, Model Checking, and Abstract Interpretation, 3 conf., VMCAI 2002" - читать интересную книгу автора (Agostino Cortesi)
| © 2025 Библиотека RealLib.org (support [a t] reallib.org) |
"Verification, Model Checking, and Abstract Interpretation, 3 conf., VMCAI 2002" - читать интересную книгу автора (Agostino Cortesi) |
|
|