Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 11.49 €
Shopping guide
My account
▸
Empty :-(
0
Formal Methods for Protocol Engineering and Distributed Systems
Forte XII / PSTV XIX'99
Language
English
English
Book
Paperback
Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniq...
Full description
Libristo code: 43407004
?
145 b
145 b
59.85
€
In stock at our supplier
Shipping in 10-18 days
30-day return policy
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Formal Methods for Protocol Engineering and Distributed Systems
Author
Jianping Wu, Samuel T. Chanson, Quiang Gao
Language
English
English
Binding
Book - Paperback
Date of issue
2013
Number of pages
516
EAN
9781475752694
Libristo code
43407004
Publishers
Springer Nature B.V.
Weight
1149
Dimensions
210 x 279
Categories
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address
Book advisor Libroamiko
By using this chat, you are communicating with generative artificial intelligence. By using it, you also agree to the processing of personal data.
Hi! I'm Libroamiko, your book advisor.
How can I help you?
Hi, I'm Libroamiko, can I help?