Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii / Pstv Xix'99 - Ifip Advances in Information and Communication Technology - Jianping Wu - Kirjat - Kluwer Academic Publishers - 9780792386469 - torstai 30. syyskuuta 1999
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Jianping Wu

Hinta
Fr. 185,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 23. - 31. heinä
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 30. syyskuuta 1999
ISBN13 9780792386469
Tuottaja Kluwer Academic Publishers
Sivujen määrä 500
Mitta 156 × 234 × 28 mm   ·   893 g
Kieli English  
Toimittaja Chanson, Samuel T. (Hong Kong University of Science & Technology, Hong Kong)
Toimittaja Gao, Quiang
Toimittaja Wu, Jianping

Näytä kaikki

Lisää tuotteita Jianping Wu