Formal Description Techniques and Protocol Specification, Testing and Verification: IFIP TC6/WG 6.1 International Conference on Formal Description Techniques X/Protocol Specification, Testing and Verification 10th: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology (Hardback)
  • Formal Description Techniques and Protocol Specification, Testing and Verification: IFIP TC6/WG 6.1 International Conference on Formal Description Techniques X/Protocol Specification, Testing and Verification 10th: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology (Hardback)

Formal Description Techniques and Protocol Specification, Testing and Verification: IFIP TC6/WG 6.1 International Conference on Formal Description Techniques X/Protocol Specification, Testing and Verification 10th: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology (Hardback)

, , ,
£197.00
Hardback Published: 01/10/1997
  • Not available

This product is currently unavailable.

  • This item has been added to your basket

Check Marketplace availability

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.

Publisher: Chapman and Hall
ISBN: 9780412820601

You may also be interested in...

Your review has been submitted successfully.

We would love to hear what you think of Waterstones. Why not review Waterstones on Trustpilot?


Review us on Trustpilot