Hybrid Systems Iv - Lecture Notes in Computer Science - Panos Antsaklis - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783540633587 - 1997年7月30日
如封面与标题不符，以标题为准

Panos Antsaklis
Hybrid Systems Iv - Lecture Notes in Computer Science

价格
元 372
不含税

远程仓调货

预计送达时间 年7月21日 - 年7月31日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

Not rated yet

Hybrid systems research focuses on modelling, design and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to the following topics: hybrid systems models; formal verification; computer simulation; and goal reachability.

410 pages, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 1997年7月30日
ISBN13 9783540633587
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 410
商品尺寸 156 × 234 × 21 mm   ·   589 g
语言 德语  
编辑 Antsaklis, Panos J.
编辑 Kohn, W.
编辑 Nerode, Anil
编辑 Sastry, S.

Mere med samme udgiver

查看Panos Antsaklis的全部作品 ( 例如 Paperback Book )