Ebooks de Julien Signoles en PDF et EPUB

1 Livre(s)
Télécharger le livre : Guide to Software Verification with Frama-C
Ajouter à ma liste d'envies
Guide to Software Verification with Frama-C
Nikolai Kosmatov , Virgile Prevosto , Julien Signoles
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 ubiquity of modern software, there is increasing interest in code analysis...

Editeur : Springer
Parution : 2024-07-09

PDF, ePub

52,74 €