Formal techniques in real-time and fault-tolerant systems

下载此书RAR压缩包在线购买PDF电子书

(Jan); Vytopil;J.1993 年出版208 页ISBN：0792393325