Spara
Formal Description Techniques and Protocol Specification, Testing and Verification
Författare:
häftad, 2013
Engelska
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).
- Undertitel
- FORTE X / PSTV XVII ’97
- Författare
- Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
- Upplaga
- Softcover reprint of the original 1st ed. 1997
- ISBN
- 9781475752601
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2013-01-11
- Sidor
- 550
