Property-preserving Petri Net Process Algebra In Software Engineering
Huang, Hejiao
Jiao, Li
Cheung, To-yat
- 出版社:World Scientific Publishing Co Pte Ltd
- 出版年月:2012年 03月
- ISBN:9789814324281
- 装丁:HRD
-
装丁について
- 言語:ENG
- 巻数・ページ数:320 p.
- 分類: ソフトウェア工学
- DDC分類:005.1