GEOTRUST SSL CERTIFICATE
| Titre : | Logique temporelle : sémantique et validation de programmes parallèles |
| Auteurs : | Eric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Farinas Del Cerro, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1990 |
| Collection : | Etudes et recherches en informatique |
| ISBN/ISSN/EAN : | 978-2-225-81967-4 |
| Format : | 240 p. / 25 x 17 cm |
| Langues: | Français |
| Index. décimale : | 005.1 |
| Mots-clés: | ; informatique ; programmation |
| Résumé : |
Introduction à la logique modale et temporelle et aux différents formalismes utilisés en théorie de la programmation. |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC013315 | INF03728 | Livre | Magasin des Ouvrages | Informatique | Exclu du prêt |
