Specification and analysis of concurrent systems The COSY approach

• Κύριοι συγγραφείς: Janicki, Ryszard (Συγγραφέας), Lauer, Peter E. (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer-Verlag c1992
• Σειρά: EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa
• Θέματα: COMPLEX SYSTEMS; CONCURRENT SYSTEMS; COSY; PARALLEL PROGRAMMING
• Περιγραφή τεκμηρίου: βιβλιογραφία σσ.407-422
• Φυσική περιγραφή: xii,480p. fig.
• ISBN: 3 540 55204 9