Logique temporelle / Éric Audureau

Public ISBD Titre : Logique temporelle : sémantique et validation des programmes parallèles Type de document : texte imprimé Auteurs : Éric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur ; Erwin Engeler, Préfacier, etc. Editeur : Paris : Masson Année de publication : 1990 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 Importance : 234 p. Présentation : ill., couv. ill. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-81967-4 Note générale : Bibliogr. p. 224-232. Index. Langues : Français (fre) Index. décimale : 08-02 Logiciels et programmation Logique temporelle : sémantique et validation des programmes parallèles [texte imprimé] / Éric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur ; Erwin Engeler, Préfacier, etc. . - Paris : Masson, 1990 . - 234 p. : ill., couv. ill. ; 25 cm.. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770) . ISBN : 978-2-225-81967-4 Bibliogr. p. 224-232. Index. Langues : Français (fre) Index. décimale : 08-02 Logiciels et programmation

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
62048	08-02-632	Livre	Bibliothèque de faculté d'informatique et mathématique	Informatique	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200