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
Paru le : 01/01/1989
Thématique : Langages de programmation
Auteur(s) : Auteur : Roland C. Backhouse
Éditeur(s) :
Elsevier Masson
Collection(s) : MIM-algorithmique, programmation
Contributeur(s) : Traducteur :
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782225816604
Reliure : Broché
Pages : 288
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 1.5 cm
Poids: 525 g
Carte fidélité
Mollat Radio
