Home
Formal Description Techniques And Protocol Specification Testing And Verification by Atsushi Togashi, Paperback | Indigo Chapters
![Formal Description Techniques And Protocol Specification Testing And Verification by Atsushi Togashi, Paperback | Indigo Chapters](https://dynamic.indigoimages.ca/books/9781475752601.jpg?scaleup=true&width=600&quality=85&lang=en)
Coles
Formal Description Techniques And Protocol Specification Testing And Verification by Atsushi Togashi, Paperback | Indigo Chapters
From Atsushi Togashi
Current price: $321.50
Loading Inventory...
Size: 1 x 9.25 x 1.9
*Product information may vary - to confirm product availability, pricing, and additional information please contact Coles
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. | Formal Description Techniques And Protocol Specification Testing And Verification by Atsushi Togashi, Paperback | Indigo Chapters