|
中图分类法:
|
TP301.6 版次： |
|
题名:
|
Applications of process algebra / / , |
|
出版发行:
|
出版地： Cambridge, UK ; 出版社： Cambridge University Press, 出版日期： 2004. |
|
载体形态:
|
ix, 317 p. : ill. ; 25 cm. |
|
主题词:
|
Computer science Mathematics. |
|
主题词:
|
Computer network protocols. |
|
主题词:
|
Axiomatic set theory. |
|
主要责任者:
|
Baeten, J. C. M. |