GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur Eric Audureau |
Documents disponibles écrits par cet auteur (1)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Eric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Farinas Del Cerro, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1990Introduction à la logique modale et temporelle et aux différents formalismes utilisés en théorie de la programmation.