Real-Time Systems Formal Specification and Automatic Verification

出版社

Cambridge University Press

出版时间

2008

ISBN

9780521883337

标注页数

320 页

PDF页数

334 页