Research Catalog
Logics and models of concurrent systems
- Title
- Logics and models of concurrent systems / edited by Krzysztof R. Apt.
- Author
- NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 : La Colle-sur-Loup, France)
- Publication
- Berlin ; New York : Springer-Verlag, ©1985.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Use in library | QA76.5 .N16 1984 | Off-site |
Details
- Additional Authors
- Description
- viii, 498 pages : illustrations; 25 cm.
- Series Statement
- NATO ASI series. Series F, Computer and system sciences ; vol. 13
- Uniform Title
- NATO ASI series. Series F, Computer and systems sciences ; no. 13.
- Subject
- Parallel processing (Electronic computers) > Congresses
- Electronic data processing > Distributed processing > Congresses
- 30.10 cybernetics and systems theory
- 54.10 theoretical informatics
- Electronic data processing > Distributed processing
- Parallel processing (Electronic computers)
- Parallelverarbeitung
- Kongress
- Systèmes à paramètres répartis
- Parallélisme (informatique)
- Genre/Form
- Congress
- Conference papers and proceedings.
- Actes de congrès.
- Note
- "Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 October 1984"--T.p. verso.
- "Published in cooperation with NATO Scientific Affairs Division."
- Bibliography (note)
- Includes bibliographical references.
- ISBN
- 0387151818
- 9780387151816
- 3540151818
- 9783540151814
- LCCN
- 85008092
- OCLC
- ocm12022032
- 12022032
- SCSB-629733
- Owning Institutions
- Princeton University Library