
Conte aos seus amigos sobre este item:
Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science 1998 edition
Richard Lai
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
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 30 de setembro de 1998 |
ISBN13 | 9780792382843 |
Editoras | Springer |
Páginas | 304 |
Dimensões | 161 × 244 × 23 mm · 684 g |
Idioma | English |
Ver tudo de Richard Lai ( por exemplo Hardcover Book e Paperback Book )