Communication Protocol Specification and Verification by Richard Lai (Author)
Sale

Communication Protocol Specification And Verification

Springer
SKU:
9780792382843
|
UPC:
9780792382843
$313.65 $289.25
(No reviews yet)
Condition:
New
Current Stock:
Adding to cart… The item has been added
Description
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
Additional Information
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