Logics and models of concurrent systems
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:47185/Similar |
|---|---|
| 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 |
APA stil citiranja
Apt, K. R. (1985). Logics and models of concurrent systems: Logics and models of concurrent systems. Berlin: Springer.
Chicago stil citiranjaApt, Krzysztof R. Logics and models of concurrent systems: Logics and models of concurrent systems. Berlin: Springer, 1985.
MLA stil citiranjaApt, Krzysztof R. Logics and models of concurrent systems: Logics and models of concurrent systems. Berlin: Springer, 1985.