Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science - Richard Lai - Bøker - Springer - 9780792382843 - 30. september 1998
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Richard Lai

Pris
Mex$ 3.941

Bestillingsvarer

Forventes levert 30. jul - 7. aug
Legg til iMusic ønskeliste
Eller

Finnes 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

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 30. september 1998
ISBN13 9780792382843
Utgivere Springer
Antall sider 304
Mål 161 × 244 × 23 mm   ·   684 g
Språk Engelsk