Visit our Christmas Gift Finder
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 November 1998, Paris, France - IFIP Advances in Information and Communication Technology 6 (Hardback)
  • Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 November 1998, Paris, France - IFIP Advances in Information and Communication Technology 6 (Hardback)
zoom

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 November 1998, Paris, France - IFIP Advances in Information and Communication Technology 6 (Hardback)

(editor), (editor), (editor)
£173.50
Hardback 472 Pages / Published: 31/10/1998
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies.
Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France.
Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.

Publisher: Chapman and Hall
ISBN: 9780412847608
Number of pages: 472
Weight: 1890 g
Dimensions: 235 x 155 x 26 mm
Edition: 1998 ed.

You may also be interested in...

Scanners 7
Added to basket
£9.95
Paperback
Success in Electronics
Added to basket
One Story of Radar
Added to basket
£19.99
Paperback
Old Radio Sets
Added to basket
£5.99
Paperback
EW 103
Added to basket
£103.00
Hardback
The Birth of British Radar
Added to basket
£12.99
Paperback
Schaum's Outline of Signals and Systems
Added to basket
Foundation Licence Now
Added to basket
Amateur Radio Exam Secrets
Added to basket
Inside Enigma
Added to basket
£14.99
Paperback
WiMAX Technology and Network Evolution
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.