Conte aos seus amigos sobre este item:
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ve Ifip Tc6 Wg6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification Testing and Verification 2000 edition
Preço
R$ 1.225,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 6 - 12 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ve
Ifip Tc6 Wg6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification Testing and Verification
Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy.
408 pages, biography
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 30 de setembro de 2000 |
| ISBN13 | 9780792379683 |
| Editoras | Springer |
| Páginas | 412 |
| Dimensões | 155 × 235 × 23 mm · 771 g |
| Idioma | Inglês |
| Editor | Bolognesi, Tommaso |
| Editor | Latella, Diego |