Udvidet returret til d. 31. januar 2025

Formal Description Techniques and Protocol Specification, Testing and Verification - Atsushi Togashi - Bog

- FORTE X / PSTV XVII '97

Bag om Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781475752601
  • Indbinding:
  • Paperback
  • Sideantal:
  • 550
  • Udgivet:
  • 11. januar 2013
  • Udgave:
  • 11997
  • Størrelse:
  • 155x235x29 mm.
  • Vægt:
  • 860 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 Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).

Brugerbedømmelser af Formal Description Techniques and Protocol Specification, Testing and Verification



Find lignende bøger
Bogen Formal Description Techniques and Protocol Specification, Testing 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.