| Titre : | Logique temporelle : sémantique et validation de programmes paralléles |
| Auteurs : | ric Audureau ; Patrice Enjalbert ; Luis Fariéas del Cerro ; Erwin Engeler |
| Type de document : | texte imprimé |
| Editeur : | Masson Paris., 1990 |
| Collection : | E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 |
| ISBN/ISSN/EAN : | 978-2-225-81967-4 |
| Format : | 234 p. / ill. coul. / 25 cm. |
| Langues: | Français |
| Index. décimale : | 004Configurations , traitement, systèmes,Utilisation |
Exemplaires (4)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| DST002137 | 004-211 | Livre | Bibliothèque des Sciences Exactes | 4-Informatique | Consultation sur place Exclu du prêt |
| DST002138 | 004-211 | Livre | Bibliothèque des Sciences Exactes | 4-Informatique | Libre accès Disponible |
| DST002139 | 004-211 | Livre | Bibliothèque des Sciences Exactes | 4-Informatique | Libre accès Disponible |
| DST002140 | 004-211 | Livre | Bibliothèque des Sciences Exactes | 4-Informatique | Libre accès Disponible |
Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Accueil
