Yazar
Virgile Prevosto
2 cilt bulundu.
Cilt sonuçları
Tests and Proofs
Virgile Prevosto, Cristina Seceleanu · Springer
Sayfa sayısı yok · 2023
Computer software, development
Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles · Springer International Publishing AG
697 sayfa · 2024
Kategori yok