|
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
|
|
Catégories :
|
Techniques > Informatique
|
|
Mots-clés:
|
programmation
|
|
Résumé :
|
Introduction à la logique modale et temporelle et aux différents formalismes utilisés en théorie de la programmation.
|
