Fortell venner om denne varen:
Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii / Pstv Xix'99 - Ifip Advances in Information and Communication Technology
Jianping Wu
Pris
Fr. 169,49
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
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 | 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 |
