Virgile Prevosto
Artículos populares por Virgile Prevosto
Ver todas las ofertas-
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
Precios de los artículos a partir de
Ver 9 ofertasEUR 46,22
Encuentra también
Nuevos -
Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings: 14066 (Lecture Notes in Computer Science)
Precios de los artículos a partir de
Ver 18 ofertasEUR 46,22
-
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
Precios de los artículos a partir de
Ver 16 ofertasEUR 79,51
