Başlık:
Introduction to Concurrency Theory Transition Systems and CCS
Yazar:
Gorrieri, Roberto. author.
ISBN:
9783319214917
Basım Bilgisi:
1st ed. 2015.
Fiziksel Tanımlama:
XI, 334 p. 63 illus. online resource.
Seri:
Texts in Theoretical Computer Science. An EATCS Series,
İçerik:
Introduction -- Transition Systems and Behavioral Equivalences -- CCS: A Calculus of Communicating Systems -- Algebraic Laws, Congruences and Axiomatizations -- Additional Operators -- Multi-CCS -- Glossary -- References -- Index.
Yazar Ek Girişi:
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-319-21491-7Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 518745-1001 | ONLINE | Arıyor... | Arıyor... |