| Titre : | Understanding concurrent systems | | Type de document : | texte imprimé | | Auteurs : | A.W. Roscoe, Auteur | | Editeur : | London : Springer | | Année de publication : | 2010 | | Collection : | Texts in Computer Science, ISSN 1868-0941 | | Importance : | xviii - 527 p. | | Format : | 25 cm | | ISBN/ISSN/EAN : | 978-1-84882-257-3 | | Langues : | Anglais | | Catégories : | 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68NXX Software:68N19 Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.)
68-XX Computer science :68QXX Theory of computing:68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
| | Mots-clés : | software programming techniques concurrent programming communicating sequential processes FDR models of concurrent systems | | Index. décimale : | 68C Monographie |
|
Affiner la rechercheUnderstanding concurrent systems / A.W. Roscoe
