Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship /

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Zwiers, J. (Job), 1956-
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Berlin ; New York : Springer-Verlag, c1989.
Sarja:Lecture notes in computer science ; 321.
Aiheet:

CARM 1 Store

Saatavuus: CARM 1 Store
Hyllypaikka: A2:AL22D0 C05342
Nide 1 Saatavissa  Tee varaus