
Tell your friends about this 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
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | September 30, 1999 |
ISBN13 | 9780792386469 |
Publishers | Kluwer Academic Publishers |
Pages | 500 |
Dimensions | 156 × 234 × 28 mm · 893 g |
Language | English |
Editor | Chanson, Samuel T. (Hong Kong University of Science & Technology, Hong Kong) |
Editor | Gao, Quiang |
Editor | Wu, Jianping |