Livres
Langages de programmation
C
Guide de vérification logicielle avec Frama-C : composants de base, utilisations et applications

Guide de vérification logicielle avec Frama-C : composants de base, utilisations et applications

Name: Guide de vérification logicielle avec Frama-C : composants de base, utilisations et applications
Author: Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)
ISBN: 9783031556074

Frama-C software verification C static analysis formal methods ACSL deductive verification

Auteur: Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)
Éditeur: Springer
Année: 2024
Langue: Anglais; 86

Évaluer ce livre

Pour lire le livre, se connecter / s'inscrire

Aperçu du fragment

Livres similaires

Pivotal Certified Professional Core Spring 5 Developer Exam: Un guide d'étude utilisant Spring Framework 5. Deuxième édition

Iuliana Cosmina

Construction de compilateurs avec C : création d'interpréteurs et de compilateurs efficaces

Theophilus Edet

C++ Core Guidelines Expliquées : Bonnes Pratiques pour le C++ Moderne

Rainer Grimm

Techniques modernes de test logiciel : Un guide pratique pour les développeurs et testeurs

István Forgács, Attila Kovács

Guide de Gestion de Projets Logiciels

Gerard O’Regan

C Efficace, 2ᵉ édition : Une introduction à la programmation professionnelle en C

Robert C. Seacord

L'art du test logiciel, troisième édition

Glenford J. Myers, Tom Badgett, Corey Sandler

Pro Spring 6 avec Kotlin : Un guide approfondi sur l'utilisation des API Kotlin dans Spring Framework 6

Peter Späth, Iuliana Cosmina, Rob Harrop, Chris Schaefer

Exigences logicielles, troisième édition

Karl Wiegers, Joy Beatty

Clean Architecture : Le guide de l'artisan pour la structure et la conception des logiciels

Robert C. Martin