Virgile Prevosto – alle Bücher

Ihre Suche nach "virgile prevosto" ergab 1 Treffer

Guide to Software Verification with Frama-C

Computer Science Foundations and Applied Logic

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiqui…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 69,33*

Artikel merken

In den Warenkorb

Menge ändern