大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » Formal Development of a Network-Centric RTOS [electronic resource] : Software Engineering for Reliable Embedded Systems
名称 Formal Development of a Network-Centric RTOS [electronic resource] : Software Engineering for Reliable Embedded Systems
索引号
分类号
(| 08 环境公报)
作者 Verhulst、 Eric.、Boute、 Raymond T.、Faria、 Jos茅 Miguel Sampaio.、Sputh、 Bernhard H.C.、Mezhuyev、 Vitaliy.、SpringerLink (Online service)、
出版社 Boston, MA : Springer US : Imprint: Springer, 2011.
ISBN
页数 XVII, 219p. 54 illus. digital.
价格 doi
标签
简介
注解