Logics for concurrency [ Livre] : structure versus automata / Moller Faron ; Birtwistle Graham
Langue: Anglais.Publication : Springer, 1996Description : XI-266 p.ISBN: 3540609156.Collection: Lecture Notes in Computer ScienceClassification: F 4 1 Logique mathématiqueSujet - Nom commun: Traitement réparti | Parallélisme (informatique)| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Magasin (archives) | F 4 1 MOL (Browse shelf) | Available | F 4 1 Logique mathématique | 00003139 |