Logics and models of concurrent systems /

Logics and models of concurrent systems /

Salvato in:
Dettagli Bibliografici
Enti autori: NATO Advanced Study Institute on Logics and Models of Concurrent Systems La Colle-sur-Loup, France, North Atlantic Treaty Organization. Scientific Affairs Division
Altri autori: Apt, Krzysztof R., 1949-
Natura: Atti del Convegno Libro
Lingua:English
Pubblicazione: Berlin ; New York : Springer-Verlag, c1985.
Serie:NATO ASI series. Computer and systems sciences ; no.13.
Soggetti:
Parallel processing (Electronic computers) > Congresses.
Electronic data processing > Distributed processing > Congresses.

CARM 1 Store

Dettagli sul posseduto da CARM 1 Store
Collocazione: A2:AK05F0 C04970
Copia 1 Disponibile  Richiedi

Documenti analoghi