Virgile Prevosto

Popular items by Virgile Prevosto

View all offers

Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings: 14066 (Lecture Notes in Computer Science, 14066)

Item prices starting from

� 41.11

View 18 offers

Also find
New, Used
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)

Item prices starting from

� 41.11

View 9 offers

Also find
New
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)

Item prices starting from

� 68.66

View 16 offers

Also find
New, Used