Construction et vérification de programmes
Roland C. Backhouse- 01/01/1989
- Elsevier Masson
Résumé
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.
Caractéristiques
- Éditions : Elsevier Masson
- Auteur : Roland C. Backhouse
- Nombre de pages : 288
- ISBN : 9782225816604
- Date de publication : 1 janvier 1989
- Dimensions (L x H x E cm) : 16 X 24 X 1.5
- Poids (g) : 525
- Reliure : Broché
Produit indisponible !
Nous n'avons plus d'exemplaire disponible pour le moment mais chaque jour nous remettons plus de 8000 produits en stock.
Produit indisponible !
