Validation Formelle
-
62
pages
-
Français
-
Documents
Écrit par
Publié par
ubbu0
-
62
pages
-
Français
-
Documents
Description
- cours - matière potentielle : precedent
- bisl pour java langage
- correction partielle
- problematique logique de hoare specification
- formelle jml
- ins
- bisl pour java validation par annotations assertions dans le code
- validation formelle
-
Publié par
-
Langue
Français
Ajouté à mes notifications
Vous serez informé des prochaines publications.