Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science - Richard Lai - Kirjat - Springer - 9780792382843 - keskiviikko 30. syyskuuta 1998
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science 1998 edition

Richard Lai

Hinta
DKK 1.484,56

Tilattu etävarastosta

Arvioitu toimitus ke 30. heinä - to 7. elo
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science 1998 edition

Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification.


327 pages, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä keskiviikko 30. syyskuuta 1998
ISBN13 9780792382843
Tuottaja Springer
Sivujen määrä 304
Mitta 161 × 244 × 23 mm   ·   684 g
Kieli English