Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii / Pstv Xix'99 - Ifip Advances in Information and Communication Technology - Jianping Wu - Bøker - Kluwer Academic Publishers - 9780792386469 - 30. september 1999
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Jianping Wu

Pris
€ 180,99

Bestillingsvarer

Forventes levert 23. - 31. jul
Legg til iMusic ønskeliste
Eller

Finnes også som:

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 Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 30. september 1999
ISBN13 9780792386469
Utgivere Kluwer Academic Publishers
Antall sider 500
Mål 156 × 234 × 28 mm   ·   893 g
Språk Engelsk  
Redaktør Chanson, Samuel T. (Hong Kong University of Science & Technology, Hong Kong)
Redaktør Gao, Quiang
Redaktør Wu, Jianping

Vis alle

Mer med Jianping Wu