High-Integrity System Specification and Design - Formal Approaches to Computing and Information Technology (FACIT) - Jonathan P. Bowen - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540762263 - 12 de abril de 1999
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
R 965
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 5 - 11 de set
Adicione à sua lista de desejos do iMusic

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

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  

Mostrar tudo

Mais por Jonathan P. Bowen