Process Algebras for Petri Nets. 1st ed. 2017
Đã lưu trong:
Tác giả chính: | Gorrieri, Roberto |
---|---|
Định dạng: | Sách |
Ngôn ngữ: | English |
Được phát hành: |
Springer International Publishing
2020
|
Những chủ đề: | |
Truy cập trực tuyến: | http://doi.org/10.1007/978-3-319-55559-1 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/99275 |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Những quyển sách tương tự
-
The Incomputable. 1st ed. 2017
Bỡi: Cooper, S. Barry, et al.
Được phát hành: (2020) -
Application and Theory of Petri Nets and Concurrency
Bỡi: Khomenko, Victor, et al.
Được phát hành: (2020) -
Application and Theory of Petri Nets and Concurrency
Bỡi: Aalst, Wil van der, et al.
Được phát hành: (2020) -
Petri Nets and Other Models of Concurrency - ICATPN 2007
Bỡi: Kleijn, Jetty, et al.
Được phát hành: (2020) -
Formal Aspects of Component Software
Bỡi: Arbab, Farhad, et al.
Được phát hành: (2020)