Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science - Richard Lai - Livros - Springer - 9780792382843 - 30 de setembro de 1998
Caso a capa e o título não sejam correspondentes, considere o título como correto

Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science 1998 edition

Richard Lai

Preço
CA$ 288,99
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de jul - 5 de ago
Adicione à sua lista de desejos do iMusic

Também disponível como:

Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science 1998 edition

Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification.


327 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 30 de setembro de 1998
ISBN13 9780792382843
Editoras Springer
Páginas 304
Dimensões 161 × 244 × 23 mm   ·   684 g
Idioma English