Black Week: Spar op til 85% Spar op til 85% på et kæmpe udvalg af gode bøger
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Formal Description Techniques and Protocol Specification, Testing and Verification

Formal Description Techniques and Protocol Specification, Testing and Verification

- FORTE X / PSTV XVII '97

af Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

indgår i IFIP Advances in Information and Communication Technology serien

Formal Description Techniques and Protocol Specification, Testing and Verification af Atsushi Togashi
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.
  • BLACK WEEK
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 9. december 2024

Bag om Atsushi Togashi

Vis alle bøger af Atsushi Togashi

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



Andre købte også..
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.