过程代数与概率方法、性能建模与验证Process algebra and probabilistic methods
Holger Hermanns
1 edition (2002年8月1日)
出版时间:2002-12
出版社:1 edition (2002年8月1日)
作者:Holger Hermanns
页数:214
Tag标签:无
图书封面
图书标签Tags
无
下载链接
过程代数与概率方法、性能建模与验证Process algebra and probabilistic methodsPDF格式下载