この商品を友人に教える:
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
価格
¥ 8.380
税抜
遠隔倉庫からの取り寄せ
発送予定日 年10月1日 - 年10月13日
Jonathan P. Bowen の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
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 |
| 言語 | 英語 |