Logics and models of concurrent systems
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:47185 |
|---|---|
| Ostali autor: | NATO Advanced Study Institute on Logics and Models of Concurrent Systems (-), North Atlantic Treaty Organization. Scientific Affairs Division |
| Ostali autori: | Apt, Krzysztof R., 1949- (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin :
Springer,
1985.
|
| Nakladnička cjelina: |
NATO ASI series. Series F, Computer and systems sciences ;
vol.13 |