Treffer: Logics and models of concurrent systems
Titel:
Logics and models of concurrent systems : Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 Octover 1984 / edited by Krzysztof R. Apt (L.I.T.P., Université Paris 7, 2, Place Jussieu, 75251 Paris, France)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin ; Heidelberg ; New York ; Tokyo : Springer-Verlag, [1985]
Umfang:
VIII, 498 Seiten : Diagramme
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
NATO ASI series. Series F, Computer and systems sciences ; Vol. 13
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
3540151818 ; 0387151818