Real-Time Systems

Real-Time Systems
Real-Time Systems
Get this book Contact Email: girro@qq.com
Subtitle: Formal Specification and Automatic Verification
Author(s): Olderog, Ernst-Rudiger; Dierks, Henning
Paperback: 338 pages
Publisher: Cambridge University Press( September 11, 2008 )
ISBN-10: 0521883334

未经允许不得转载：电子书百科大全 » Real-Time Systems