Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii / Pstv Xix'99 - Ifip Advances in Information and Communication Technology - Jianping Wu - Livros - Kluwer Academic Publishers - 9780792386469 - 30 de setembro de 1999
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii / Pstv Xix'99 - Ifip Advances in Information and Communication Technology

Jianping Wu

Preço
Fr. 169,49
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 22 - 28 de jul
Adicione à sua lista de desejos do iMusic

Também disponível como:

Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii / Pstv Xix'99 - Ifip Advances in Information and Communication Technology

Addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. This work presents: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience, and case studies.


500 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 30 de setembro de 1999
ISBN13 9780792386469
Editoras Kluwer Academic Publishers
Páginas 500
Dimensões 156 × 234 × 28 mm   ·   893 g
Idioma English  
Editor Chanson, Samuel T. (Hong Kong University of Science & Technology, Hong Kong)
Editor Gao, Quiang
Editor Wu, Jianping

Mostrar tudo

Mais por Jianping Wu