GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur RolandC. Backhouse |
Documents disponibles écrits par cet auteur (1)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
RolandC. Backhouse, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | MIM-algorithmique, programmation | 1989Une 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.