Treffer: Specification and analysis of concurrent systems
Titel:
Specification and analysis of concurrent systems : the COSY approach / Ryszard Janicki ; Peter E. Lauer
Verantwortlich:
Veröffentlicht:
Berlin [u.a.] : Springer, 1992
Umfang:
XII, 480 S. : graph. Darst.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 26
alle Bände anzeigen
alle Bände anzeigen
Schlagworte:
ISBN:
3540552049 ; 0387552049