Specification and analysis of concurrent systems the COSY approach

Opis bibliograficzny
1. autor: Janicki, Ryszard
Kolejni autorzy: Lauer, Peter E. 1934-
Format: Książka
Język:English
Wydane: Berlin Springer-Verlag c1992.
Seria:EATCS monographs on theoretical computer science v.26
Hasła przedmiotowe: