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 dispatched 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 For Dummies
Added to basket
Packet Guide to Voice Over IP
Added to basket
SELinux Cookbook
Added to basket
£27.99
Paperback
TCP/IP Illustrated, Volume 1
Added to basket

Please sign in to write a review

Your review has been submitted successfully.