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 ; Patrice Enjalbert ; Luis Farinas Del Cerro Editeur : Paris : Masson Année de publication : 1990 Collection : Etudes et recherches en informatique Importance : 240 p. Format : 24 cm ISBN/ISSN/EAN : 222581967 Langues : Français (fre) Catégories : Infomatique Tags : Informatique  programmation Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=4030 Logique temporelle : sémantique et validation de programmes parallèles [texte imprimé] / Eric Audureau ; Patrice Enjalbert ; Luis Farinas Del Cerro . - Paris : Masson, 1990 . - 240 p. ; 24 cm. - (Etudes et recherches en informatique) . ISSN : 222581967 Langues : Français (fre) Catégories : Infomatique Tags : Informatique  programmation Index. décimale : 004 Traitement de données. Informatique Permalink : https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=4030

Réservation

Réserver ce document

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
S8/65809	S8/65809	Livre	Bibliothèque principale	indéterminé	Disponible
S8/65810	S8/65810	Livre	Bibliothèque principale	indéterminé	Disponible
S8/65811	S8/65811	Livre	Bibliothèque principale	indéterminé	Disponible

---

1 (1 - 1 / 1)