Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science - Richard Lai - Books - Springer - 9780792382843 - September 30, 1998
In case cover and title do not match, the title is correct

Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science 1998 edition

Richard Lai

Price
Mex$ 3,953
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 6 - 18
Add to your iMusic wish list

Also available as:

Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science 1998 edition

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released September 30, 1998
ISBN13 9780792382843
Publishers Springer
Pages 304
Dimensions 161 × 244 × 23 mm   ·   684 g
Language English