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

保存先:
書誌詳細
団体著者: Workshop on the analysis of concurrent systems :Cambridge
その他の著者: Jackson, M. I., 19..- (出版デイレクター), Denvir, B. T., 19..- (出版デイレクター), Harwood, W. T., 19..- (出版デイレクター)
フォーマット: Livre numérique
言語:Anglais
出版事項: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
シリーズ:Lecture notes in computer science 207
主題:
オンライン・アクセス:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
注記: 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
その他の書誌記述
記述事項:Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
ISBN:9783540397311 (PDF)
ISSN:1611-3349
アクセス:Accès en ligne pour les établissements français bénéficiaires des licences nationales
Accès soumis à abonnement pour tout autre établissement
Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017