Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - 图书 - Springer London Ltd - 9781447152590 - 2013年7月2日
如封面与标题不符，以标题为准

Neeraj Kumar Singh
Using Event-B for Critical Device Software Systems 2013 edition

价格
元 726
不含税

远程仓调货

预计送达时间 年6月25日 - 年7月7日

顾客评价：

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

其他版本：

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).

346 pages, 45 black & white illustrations, 20 black & white tables, biography

介质类型 图书     Hardcover Book   (精装硬皮书)
已发行 2013年7月2日
ISBN13 9781447152590
出版商 Springer London Ltd
页数 326
商品尺寸 155 × 235 × 20 mm   ·   707 g
语言 英语  

Mere med samme udgiver

查看Neeraj Kumar Singh的全部作品 ( 例如 Paperback Book 及 Hardcover Book )