Recomienda este artículo a tus amigos:
Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science Richard Lai 1998 edition
Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 30 de septiembre de 1998 |
| ISBN13 | 9780792382843 |
| Editores | Springer |
| Páginas | 304 |
| Dimensiones | 161 × 244 × 23 mm · 666 g |
| Lengua | Inglés |