Spar
Formal Description Techniques and Protocol Specification, Testing and Verification
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
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). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.
- Undertittel
- FORTE X / PSTV XVII '97
- Forfatter
- Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
- ISBN
- 9780387352718
- Språk
- Engelsk
- Utgivelsesdato
- 5.6.2013
- Forlag
- SPRINGER US
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
