Sale
Communication Protocol Specification And Verification
Springer
$213.74
$197.11
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.
- | By (Author): Richard Lai
- | Series: The Springer International Series in Engineering and Computer Science
- | Publisher: Springer
- | Publication Date: Sep 30, 1998
- | Country of Publication: Netherlands
- | Number of Pages: 304 pages
- | Language: Not available
- | Binding: Hardback
- | ISBN-10: 0007233485
- | ISBN-13: 9780792382843
- By (Author):
- Richard Lai
- Publisher:
- Springer
- Publication Date:
- Sep 30, 1998
- Series:
- The Springer International Series in Engineering and Computer Science
- Country of Publication:
- Netherlands
- Number of pages:
- 304 pages
- Binding:
- Hardback
- Language:
- Not available
- ISBN-13:
- 9780792382843