中图分类法:
TP274 版次:
著者:
Davies, Jim,
题名:
Specification and proof in real time CSP / / ,
出版发行:
出版地: Cambridge : 出版社: Cambridge University Press, 出版日期: 2011.
载体形态:
xvii. 180 p. : ill. ; 25 cm.
附注:
First published 1993. First paperback edition 2011.
主题词:
Real-time data processing.
索书号:
0