海外直订Automated Technology for Verification and Analysis: 12th
¥635.00
明星店铺 中华商务进口图书旗舰店
预订 Automated Technology for Verification and Analysis: 12th 【全球购】进口原版图书,约5-8周到达国内后发出
¥571.00
预订 Formal Modeling and Analysis of Timed Systems: 6th Intern 【全球购】进口原版图书,约5-8周到达国内后发出
¥567.00
【预订】Modeling and Verification of Parallel Processes 97835404 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540427872 Author 作者 Cassez Format 版本 平装-胶订 Pages Number 页数 234页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-10-24 Language 语种 英语 Book Contents 内容简介 Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems.This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annot
¥402.00
预订 Modeling and Verification of Parallel Processes: 4th Summ 【全球购】进口原版图书,约5-8周到达国内后发出
¥367.00
【预订】Formal Modeling and Analysis of Timed Systems: 6th 美国库房发货,通常付款后3-5周到货!
¥520.00
海外直订Formal Modeling and Analysis of Timed Systems: 6th Inter
¥553.00
明星店铺 中华商务进口图书旗舰店
( 建模与验证并行程序)Modeling and Verification of Parallel Processes
¥303.50定价:¥384.20 (7.9折)
建模与验证并行程序Modeling and Verification of Parallel Processes
¥500.60