Logics and models of concurrent systems /

Logics and models of concurrent systems /

Uloženo v:
Podrobná bibliografie
Korporace: NATO Advanced Study Institute on Logics and Models of Concurrent Systems La Colle-sur-Loup, France, North Atlantic Treaty Organization. Scientific Affairs Division
Další autoři: Apt, Krzysztof R., 1949-
Médium: Konferenční příspěvek Kniha
Jazyk:English
Vydáno: Berlin ; New York : Springer-Verlag, c1985.
Edice:NATO ASI series. Computer and systems sciences ; no.13.
Témata:
Parallel processing (Electronic computers) > Congresses.
Electronic data processing > Distributed processing > Congresses.

CARM 1 Store

Informace o exemplářích z: CARM 1 Store
Signatura: A2:AK05F0 C04970
Jednotka 1 Dostupné  Požadavek

Podobné jednotky