Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & 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

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

del av IFIP Advances in Information and Communication Technology-serien

Formal Description Techniques and Protocol Specification, Testing and Verification av Atsushi Togashi
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).

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781475752601
  • Format:
  • Häftad
  • Sidor:
  • 550
  • Utgiven:
  • 11. januari 2013
  • Utgåva:
  • 11997
  • Mått:
  • 155x235x29 mm.
  • Vikt:
  • 860 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 18. december 2024

Om Atsushi Togashi

Se alla böcker av Atsushi Togashi

Beskrivning 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).

Användarnas betyg av Formal Description Techniques and Protocol Specification, Testing and Verification



Andra köpte även...
Hitta liknande böcker
Boken Formal Description Techniques and Protocol Specification, Testing and Verification finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.