Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X / PSTV XVII ’97
Sale price
$197.99
Regular price $219.99
Skip to product information
Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X / PSTV XVII ’97
Sale price
$197.99
Regular price $219.99
Reliable shipping
Flexible returns
IFIP Advances in Information and Communication Technology
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII ’97
Atsushi Togashi | Tadanori Mizuno | Norio Shiratori | Teruo Higashino
Computers / Networking / General
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.
| Publication Date: | 31 October 1997 |
| Publisher: | Springer US |
| Imprint: | Springer |
| ISBN-13: | 9780412820601 |
| Format: | Hardback |
| Page Count: | 550 |