Fortæl dine venner om denne vare:
Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii / Pstv Xix'99 - Ifip Advances in Information and Communication Technology
Jianping Wu
Pris
Íkr 32.198,75
Bestilles fra fjernlager
Forventes klar til forsendelse 22. - 28. jul.
Tilføj til din iMusic ønskeseddel
Eller
Findes 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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 30. september 1999 |
| ISBN13 | 9780792386469 |
| Forlag | Kluwer Academic Publishers |
| Antal sider | 500 |
| Mål | 156 × 234 × 28 mm · 893 g |
| Sprog | Engelsk |
| Klipper/redaktør | Chanson, Samuel T. (Hong Kong University of Science & Technology, Hong Kong) |
| Klipper/redaktør | Gao, Quiang |
| Klipper/redaktør | Wu, Jianping |
