Trefferliste "Virgile Prevosto" - alle Bücher

Ihre Suche nach "Virgile Prevosto" (Bücher) ergab 1 Treffer

Guide to Software Verification with Frama-C

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* Aktueller Preis: EUR 69,33

Artikel merken

In den Warenkorb

Menge ändern