Chargement...
Chargement...
Auteur Backhouse, Roland C.
Auteur

Support

Série

Disponibilité

1
Construction et vérification de programmes

Construction et vérification de programmes

Auteur : Roland C. Backhouse
Éditeur(s) : Elsevier Masson
Une approche thématique de la vérification de la programmation. Expose les bases mathématiques (logique des prédicats de 1er ordre) à partir desquelles deux méthodes de vérification sont applicables. ©Electre 2025
46,19 €
Chargement...
1