|
题名:
|
通信与移动系统π演算 / (英)[米勒]Robin Milner著 , 林惠民等译 |
|
ISBN:
|
978-7-302-20725-2 价格： CNY19.00 |
|
语种:
|
chi |
|
载体形态:
|
16,160页 21cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2009 |
|
内容提要:
|
本书是关于π演算的专著，作者通过大量的例子介绍了π演算的基本概念和理论。包括自动机的行为、顺序进程和互模拟、并发进程与交互、迁移和强等价等章节。 |
|
主题词:
|
通信系统 系统建模 |
|
中图分类法:
|
TN914 版次： 4 |
|
主要责任者:
|
米勒 著 |
|
次要责任者:
|
林惠民 译 |
|
责任者附注:
|
Robin Milner，剑桥大学、爱丁堡大学计算机科学教授。 |
|
索书号:
|
1 |