Utvidet returrett til 31. januar 2025

Formal Description Techniques and Protocol Specification, Testing and Verification

- FORTE X / PSTV XVII '97

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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9781475752601
  • Bindende:
  • Paperback
  • Sider:
  • 550
  • Utgitt:
  • 11. januar 2013
  • Utgave:
  • 11997
  • Dimensjoner:
  • 155x235x29 mm.
  • Vekt:
  • 860 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

Beskrivelse av 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).

Brukervurderinger av Formal Description Techniques and Protocol Specification, Testing and Verification



Finn lignende bøker
Boken Formal Description Techniques and Protocol Specification, Testing and Verification finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.