| Shelfclass_id | 3.F.4 |
| Sortkey | APT, KRZYSZTOF R |
| Authors | Krzysztof R. Apt |
| Title | Logics and Models of Concurrent Systems |
| Publisher | Springer Pub. Co. |
| Year | c1985 |
| Languages | eng |
| Isbn | 0387151818 |
| Series | NATO ASI (Advanced Science Institutes) series F - Computer and systems sciences |
| Volume | 13 |
| Description | (U.S.) viii, 498 p. ill. 25 cm. |
| Record date | 20061020 |
| Location | New York |
| Keywords | Parallel processing (Electronic computers), Electronic data processing |
| Notes | "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. |