Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology - Atsushi Togashi - Livros - Chapman and Hall - 9780412820601 - 31 de outubro de 1997
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology 1997 edition

Atsushi Togashi

Preço
₩ 291.200
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:

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology 1997 edition

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).


550 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de outubro de 1997
ISBN13 9780412820601
Editoras Chapman and Hall
Páginas 550
Dimensões 156 × 234 × 31 mm   ·   984 g
Idioma English