Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
V
Virgile Prevosto
2 books found
Books by Virgile Prevosto
Tests and Proofs
Virgile Prevosto
Tests and Proofs
Virgile Prevosto
2023
No page data
Guide to Software Verification with Frama-C
Nikolai Kosmatov
⏱ 11h 37m
Guide to Software Verification with Frama-C
Nikolai Kosmatov
2024
697 pp.