
Conte aos seus amigos sobre este item:
High-Integrity System Specification and Design - Formal Approaches to Computing and Information Technology (FACIT) Softcover reprint of the original 1st ed. 1999 edition
Jonathan P. Bowen
High-Integrity System Specification and Design - Formal Approaches to Computing and Information Technology (FACIT) Softcover reprint of the original 1st ed. 1999 edition
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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 12 de abril de 1999 |
ISBN13 | 9783540762263 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 701 |
Dimensões | 236 × 158 × 40 mm · 1,10 kg |
Idioma | English |
Mais por Jonathan P. Bowen
Ver tudo de Jonathan P. Bowen ( por exemplo Paperback Book )