Tallenna
Formal Description Techniques and Protocol Specification, Testing and Verification
Kirjailija:
nidottu, 2013
englanti
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).
- Alaotsikko
- FORTE X / PSTV XVII ’97
- Kirjailija
- Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
- Painos
- Softcover reprint of the original 1st ed. 1997
- ISBN
- 9781475752601
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 11.1.2013
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 550
