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