• Sign In / Register
  • Help
  • Basket0
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology (Hardback)
  • Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology (Hardback)
zoom

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology (Hardback)

(author), (author), (author), (author)
£219.99
Hardback 550 Pages / Published: 31/10/1997
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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
Number of pages: 550
Weight: 2170 g
Dimensions: 234 x 156 x 31 mm
Edition: 1997 ed.

You may also be interested in...

TCP/IP Foundations
Added to basket
An Introduction to ISO/IEC 27001:2013
Added to basket
OSPF Complete Implementation (paperback)
Added to basket
VoIP For Dummies
Added to basket
Sams Teach Yourself TCP/IP in 24 Hours
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.