Main image
Click to view image in fullscreen
![]()
Verification, Model Checking, and Abstract Interpretation
1 140,00 DH
En stock
| ISBN / EAN | 9783319737201 |
|---|---|
| Editeur | Springer International Publishing AG |