Virgile Prevosto – alle Bücher online kaufen

Ihre Suche nach "virgile prevosto" ergab 2 Treffer

Tests and Proofs

Lecture Notes in Computer Science -Band 14066

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includ…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Artikel ist im Warenkorb

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 ist im Warenkorb

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.