Communication Protocol Specification and Verification
65
%
2004 Kč 5 648 Kč
Sleva až 70% u třetiny knih
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.
| Autor: | Lai, Richard; Jirachiefpattana, Ajin |
| Nakladatel: | Springer |
| ISBN: | 9780792382843 |
| Rok vydání: | 1998 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 304 |
Mohlo by se vám také líbit..
-
Confessions of the Pricing Man
Hermann Simon
-
Contemporary Collaborative Consumption
-
Mathematics to the Rescue of Democracy
Lancia, Giuseppe; Serafini, Paolo
-
The Earth\'s Magnetic Interior
-
Be STARS
-
Atlas of Taphonomic Identifications
Fernandez-Jalvo, Yolanda; Andrews, Peter
-
From Bench to Boardroom
Spiro, Clifford L.
-
Vaccines: Are they Worth a Shot?
Grignolio, Andrea
-
Biological Oceanography of the Balti...
-
Morphology and Evolution of Turtles
-
Quantum Mechanics for Pedestrians 2
Pade, Jochen
-
Edmund Husserl Bibliography
-
Ethical Issues in Prison Psychiatry
-
Ecological Economics
Shmelev, Stanislav E.
-
A Complete Course on Theoretical Physics
Lindner, Albrecht
-
Introduction to Frame Analysis
Toniolo, Giandomenico; Di Prisco, Marco