Logique temporelle, sémantique et validation de programmes parallèles / Eric AUDUREAU / Masson (1990)

Public ISBD Aucun avis sur cette notice. Faire une suggestion d'achat Titre : Logique temporelle, sémantique et validation de programmes parallèles Type de document : texte imprimé Auteurs : Eric AUDUREAU, Auteur ; Patrice ENJALBERT, Auteur ; Luis FARINAS DEL CERRO, Auteur Editeur : Masson Année de publication : 1990 Collection : Etudes et recherches en informatique Importance : 234 p. Format : 25 cm. ISBN/ISSN/EAN : 2-225-81967-x Note générale : index Langues : Français (fre) Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation Logique temporelle, sémantique et validation de programmes parallèles [texte imprimé] / Eric AUDUREAU, Auteur ; Patrice ENJALBERT, Auteur ; Luis FARINAS DEL CERRO, Auteur . - Masson, 1990 . - 234 p. ; 25 cm.. - (Etudes et recherches en informatique) . ISSN : 2-225-81967-x index Langues : Français (fre) Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation

Exemplaires(1)

Code-barres	type de document	numéro d'inventaire	Cote	Support	Localisation	Section	Disponibilité
00001000381069	08-02-632	Livre	Salle 1	Documentaires	Exclu du prêt		62049

---

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