
Fortell venner om denne varen:
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
Richard Lai
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 |
Se alt med Richard Lai ( f.eks. Innbunden bok og Pocketbok )