High-Integrity System Specification and Design - Formal Approaches to Computing and Information Technology (FACIT) - Jonathan P. Bowen - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783540762263 - 1999年4月12日
如封面与标题不符,以标题为准

High-Integrity System Specification and Design - Formal Approaches to Computing and Information Technology (FACIT) Softcover reprint of the original 1st ed. 1999 edition

价格
元 364
不含税

远程仓调货

预计送达时间 年7月22日 - 年8月3日
添加至iMusic心愿单

Not rated yet

That is, the failure of the system to produce correct results could result in the loss of human life, mass destruction of property (in the form of ships and cargo) as well as financial losses and loss of competitive advantage for the shipping firm.


720 pages, 7 black & white illustrations

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 1999年4月12日
ISBN13 9783540762263
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 701
商品尺寸 236 × 158 × 40 mm   ·   1,10 kg
语言 英语  

Jonathan P. Bowen的更多作品

显示全部

Mere med samme udgiver