分享给好友:
High-Integrity System Specification and Design - Formal Approaches to Computing and Information Technology (FACIT) Jonathan P. Bowen Softcover reprint of the original 1st ed. 1999 edition
High-Integrity System Specification and Design - Formal Approaches to Computing and Information Technology (FACIT)
Jonathan P. Bowen
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
查看Jonathan P. Bowen的全部作品 ( 例如 Paperback Book 及 Book )