-
嵌入式实时系统-调度.分析和验证
¥48.3(7折)定价:¥69.0本书面向嵌入式实时系统,较系统地论述基本的实时调度算法、调度性分析方法,说明引入形式化方法的必要性,并为实时系统设计提供一个清晰的形式化方法基础.其核心是面向实时系统的形式化分析(formalanalysis)及验证.全书特别列举了大量关于安全关键系统的工程实例...
五星书
浏览历史
-
人民调解典型案例填报示范与精解/人民调解工作法律实务丛书
¥22.1¥45.0 -
正能量
¥9.5¥29.8