S. Budkowski, A. Cavalli, E. Najm (Eds.)
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
Series: IFIP Advances in Information and Communication Technology, Vol. 6
1998, XII, 470 p.
Printed book
Hardcover
▶ 219,00 € | £173.50 | $284.00
▶ *234,33 € (D) | 240,90 € (A) | CHF 314.00
eBook
Formal Description Techniques and Protocol Specification, Testing andVerification
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: FDTbased system and protocol engineering; FDT-application to distributed systems; Protocol
engineering; Practical experience and case studies.
Formal Description Techniques and Protocol Specification, Testing andVerification 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 andVerification 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.
Available from your library or
▶ springer.com/shop
MyCopy
Printed eBook for just
▶ € | $ 24.99
▶ springer.com/mycopy
Order online at springer.com ▶ or for the Americas call (toll free) 1-800-SPRINGER ▶ or email us at:
[email protected]. ▶ For outside the Americas call +49 (0) 6221-345-4301 ▶ or email us at:
[email protected].
The first € price and the £ and $ price are net prices, subject to local VAT. Prices indicated with * include VAT for books; the €(D) includes 7% for
Germany, the €(A) includes 10% for Austria. Prices indicated with ** include VAT for electronic products; 19% for Germany, 20% for Austria. All prices
exclusive of carriage charges. Prices and other details are subject to change without notice. All errors and omissions excepted.