
Conte aos seus amigos sobre este item:
Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii / Pstv Xix'99 - Ifip Advances in Information and Communication Technology
Jianping Wu
Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii / Pstv Xix'99 - Ifip Advances in Information and Communication Technology
Jianping Wu
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 |
Mais por Jianping Wu
Ver tudo de Jianping Wu ( por exemplo Hardcover Book e Paperback Book )