Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 1722, Proceedings, Part II: 13965 (Lecture Notes in Science, 13965)
Prices from
34.99
Featured
|
£ 34.99 |
To Shop
|
|
£ 34.99 |
To Shop
|
| COMPARE ALL WEBSHOPS (2) | ||
Description
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 1722, Proceedings, Part II: 13965 (Lecture Notes in Science, 13965)
Description
(0)
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 1722, Proceedings, Part II: 13965 (Lecture Notes in Science, 13965)
Product specifications
Related results
Featured Choice
£ 34.99
