3-6周达 Modeling and Verification of Real-Time Systems: Formal 【全球购】进口原版图书，预计3-6周左右到国内
¥2539
海外直订Automotive Embedded Systems Handbook 汽车嵌入式系统手册
¥2171
预订 高被引Automotive Embedded Systems Handbook [ISBN:97808493802 【全球购】进口原版图书，一般5-8周左右到国内
¥2391
【预订】Modeling and Verification of Real-Time Systems 978184821 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781848210134 Author 作者 Nicolas Navet Format 版本 精装 Pages Number 页数 448页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2008-03-04 Shipping Weight 商品重量 720g Language 语种 英语 Book Contents 内容简介 This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and de*ion languages, and validation approaches based on testing. With contributions from authors who are expert
¥3469
【预订】Automotive Embedded Systems Handbook 9780849380266 美国库房发货，通常付款后3-5周到货！
¥2864
