Povej prijatelju o tem izdelku:
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 12. aprila 1999 |
| ISBN13 | 9783540762263 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 701 |
| Dimenzije | 236 × 158 × 40 mm · 1,10 kg |
| Jezik | Angleščina |