Logics and models of concurrent systems
edited by Krzysztof R. Apt
Bok Engelsk 1985 NATO Advanced Study Institute on Logics and Models of Concurrent Systems
| Utgitt | Berlin : Springer , c1985
|
|---|---|
| Omfang | VIII, 498 s. : ill.
|
| Opplysninger | "Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-surLoup, France, 8-19 October 1984" - Tittelbladets bakside.
|
| Emner | Electronic data processing - Distributed processing
Parallel processing (Electronic computers) - Congresses. samtidig datamaskinsystem datamaskinnett distribuert logikk parallell-behandling |
| ISBN | 0387151818. - 3540151818
|
