Accéder aux autres sites de l'Université Mohammed Premier

Documents disponibles écrits par cet auteur

Logique temporelle / Eric Audureau

Public ISBD Titre : Logique temporelle : Sémantique et validation de programmes parallèles Type de document : texte imprimé Auteurs : Eric Audureau, Auteur ; Luis Fariñas del Cerro, Auteur ; Patrice Enjalbert, Auteur Mention d'édition : Editeur : Elsevier Masson Année de publication : 1990 Collection : Études et recherches en informatique, ISSN ISSN 0763-27 Importance : 1 vol. (VI-232 p.) Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 2-225-81967-X Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Informatique Mots-clés : langages de programmation  sémantique  parallélisme  informatique Note de contenu : Bibliogr. p. 225-232. Index Logique temporelle : Sémantique et validation de programmes parallèles [texte imprimé] / Eric Audureau, Auteur ; Luis Fariñas del Cerro, Auteur ; Patrice Enjalbert, Auteur  . -   . - [S.l.] : Elsevier Masson, 1990 . - 1 vol. (VI-232 p.) : ill. ; 25 cm. - (Études et recherches en informatique, ISSN ISSN 0763-27) . ISBN : 2-225-81967-X Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Informatique Mots-clés : langages de programmation  sémantique  parallélisme  informatique Note de contenu : Bibliogr. p. 225-232. Index

Exemplaires

Cote	Section	Localisation	Code-barres	Disponibilité	Numero_inventaire
INFO424	Informatique	Biblio-ESTO	0000000530903	Disponible	4912/1
INFO424	Informatique	Biblio-ESTO	0000000530803	Disponible	4912/2