Udvidet returret til d. 31. januar 2025

Communication Protocol Specification and Verification - Richard Lai - Bog

Bag om Communication Protocol Specification and Verification

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780792382843
  • Indbinding:
  • Hardback
  • Sideantal:
  • 304
  • Udgivet:
  • 30. september 1998
  • Udgave:
  • 1998
  • Størrelse:
  • 161x244x23 mm.
  • Vægt:
  • 684 g.
  • 8-11 hverdage.
  • 9. december 2024
På lager

Normalpris

  • BLACK WEEK

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Communication Protocol Specification and Verification

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.

Brugerbedømmelser af Communication Protocol Specification and Verification



Find lignende bøger
Bogen Communication Protocol Specification and Verification findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.