无锡市图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

信息物理融合系统(CPS)原理/(美)拉吉夫·阿卢尔(Rajeev Alur)著 董云卫，张雨译

出版发行项:

北京:机械工业出版社,2017

ISBN及定价:

978-7-111-55904-7/CNY79.00

载体形态项:

282页;26cm

并列正题名:

Principles of cyber-physical systems

丛编项:

计算机科学丛书

个人责任者:

(美) 阿卢尔 (Alur, Rajeev) 著

个人次要责任者:

董云卫 (1968-) 译

个人次要责任者:

张雨 (计算机) 译

学科主题:

异构网络-研究

中图法分类号:

TP393.02

一般附注:

华章教育

版本附注:

由MIT Press通过Bardon-Chinese Media Agency授权机械工业出版社出版

提要文摘附注:

本书主要介绍信息物理融合系统的基本理论，包括系统设计、规约、建模和分析方法。针对基于模型的设计、并发理论、分布式算法、形式化的规约和验证方法、控制理论、实时系统和混成系统等分支学科，从不同侧面对信息物理融合系统进行描述。

豆瓣简介：