The Analysis of concurrent systems : Cambridge, September 12 16, 1983 : proceedings

Guardado en:
Detalles Bibliográficos
Autor Corporativo: Workshop on the analysis of concurrent systems :Cambridge
Otros Autores: Jackson, M. I., 19..- (Director de publicación), Denvir, B. T., 19..- (Director de publicación), Harwood, W. T., 19..- (Director de publicación)
Formato: Livre numérique
Lenguaje:Anglais
Publicado: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Colección:Lecture notes in computer science 207
Materias:
Acceso en línea:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Nota: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• The Analysis of concurrent systems, proceedings, Cambridge, September 12-16, 1983, edited by B.T. Denvir ... [et al.], Berlin, Springer-Verlag, 1985, 1 vol. (VII-398 p.), Lecture notes in computer science, 0-387-16047-7
• The Analysis of Concurrent Systems, Texte imprimé, 9783662163412

Ejemplares similares