Formal techniques in real-time and fault-tolerant systems

出版社

Kluwer Academic Publishers

出版时间

1993

ISBN

0792393325

标注页数

208 页

PDF页数

220 页