Spar
Formal Description Techniques and Protocol Specification, Testing and Verification
Forfatter:
heftet, 2013
Engelsk
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).
- Undertittel
- FORTE X / PSTV XVII ’97
- Forfatter
- Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
- Opplag
- Softcover reprint of the original 1st ed. 1997
- ISBN
- 9781475752601
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 11.1.2013
- Antall sider
- 550
