Real-Time Systems

2015-05-08 分类：电子书

Real-Time Systems
Real-Time Systems
Subtitle:Formal Specification and Automatic Verification
Author(s):Olderog, Est-Rudiger; Dierks, Henning

Paperback: 338 pages

Publisher: Cambridge University Press( September 11, 2008 )

ISBN-10: 0521883334

代发服务PDF电子书10元立即求助

1111

 打赏

未经允许不得转载：Wow! eBook » Real-Time Systems