
Give the Gift of Choice!
Too many options? Treat your friends and family to their favourite stores with a Bayshore Shopping Centre gift card, redeemable at participating retailers throughout the centre. Click below to purchase yours today!Purchase HereHome
Formal Description Techniques and Protocol Specification Testing and Verification by Atsushi Togashi, Hardcover | Indigo Chapters
Coles
Loading Inventory...
Formal Description Techniques and Protocol Specification Testing and Verification by Atsushi Togashi, Hardcover | Indigo Chapters in Ottawa, ON
From Atsushi Togashi
Current price: $285.95

From Atsushi Togashi
Formal Description Techniques and Protocol Specification Testing and Verification by Atsushi Togashi, Hardcover | Indigo Chapters in Ottawa, ON
Current price: $285.95
Loading Inventory...
Size: 1.25 x 9.21 x 2.17
*Product information may vary - to confirm product availability, pricing, shipping and return 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, Hardcover | Indigo Chapters
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, Hardcover | Indigo Chapters

















