Chargement...
Chargement...
  1. Auteur
  2. Backhouse, Roland C.

Livres Roland C. Backhouse

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