Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii / Pstv Xix'99 - Ifip Advances in Information and Communication Technology - Jianping Wu - Books - Kluwer Academic Publishers - 9780792386469 - September 30, 1999
In case cover and title do not match, the title is correct

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

Jianping Wu

Price
$ 213.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 24 - Aug 5
Add to your iMusic wish list

Also available as:

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

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

Show all

More by Jianping Wu