题名:
传值CCS和∏-演算互模拟等价的验证理论和算法   / ,
ISBN:
7-81099-152-3 价格: CNY
出版发行:
出版地: 出版社: 国防科技大学出版社 出版日期: 2005-04-01
中图分类法:
TP301.6 版次:
主要责任者:
李舟军