Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science - Richard Lai - Bøger - Springer - 9780792382843 - 30. september 1998
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Richard Lai

Pris
$ 264,36

Bestilles fra fjernlager

Forventes klar til forsendelse 29. jul. - 4. aug.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 30. september 1998
ISBN13 9780792382843
Forlag Springer
Antal sider 304
Mål 161 × 244 × 23 mm   ·   684 g
Sprog Engelsk