All 3 Constantin Enea releases on Book and Paperback Book
Categories
Other
Support
SGD
In stock at iMusic
Show unavailable items
![Cover for Constantin Enea · Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/051/9783031377051.jpg?constantin-enea-2023-computer-aided-verification-35th-international-conference-cav-2023-paris-france-july-17-22-2023-proceedings-part-i-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1749894334)
![Cover for Constantin Enea · Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/082/9783031377082.jpg?constantin-enea-2023-computer-aided-verification-35th-international-conference-cav-2023-paris-france-july-17-22-2023-proceedings-part-iii-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1750151761)