Save today: Get 40% off titles in Popular Science!

IFIP Advances in Information and Communication Technology

Formal Methods for Protocol Engineering and Distributed Systems

Forte XII / PSTV XIX’99

Editors: Jianping Wu, Chanson, Samuel T., Quiang Gao (Eds.)

Free Preview

Buy this book

eBook 192,59 €
price for Spain (gross)
  • ISBN 978-0-387-35578-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 238,16 €
price for Spain (gross)
Softcover 238,16 €
price for Spain (gross)
About this book

Formal Methods for Protocol Engineering and Distributed Systems 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 an industrialization of FDTs. Among the important features presented are:

  • FDT-based system and protocol engineering;
  • FDT application to distributed systems;
  • Protocol engineeering;
  • Practical experience and case studies.

Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.
This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.

Table of contents (28 chapters)

Table of contents (28 chapters)

Buy this book

eBook 192,59 €
price for Spain (gross)
  • ISBN 978-0-387-35578-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 238,16 €
price for Spain (gross)
Softcover 238,16 €
price for Spain (gross)
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods for Protocol Engineering and Distributed Systems
Book Subtitle
Forte XII / PSTV XIX’99
Editors
  • Jianping Wu
  • Samuel T. Chanson
  • Quiang Gao
Series Title
IFIP Advances in Information and Communication Technology
Series Volume
28
Copyright
1999
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-0-387-35578-8
DOI
10.1007/978-0-387-35578-8
Hardcover ISBN
978-0-7923-8646-9
Softcover ISBN
978-1-4757-5270-0
Series ISSN
1868-4238
Edition Number
1
Number of Pages
XII, 500
Topics