Formal methods for protocol engineering and distributed systems

Name: Formal methods for protocol engineering and distributed systems
Author: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China)
ISBN: 9780792386469

by IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China)

0.0

Computer network protocols Electronic data processing Formal methods Distributed processing

Browse all genres

ISBN: 9780792386469

Formal methods for protocol engineering and distributed systems is a computer network protocols, electronic data processing book by IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China).

Discover Formal methods for protocol engineering and distributed systems by IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China), computer network protocols.

About the Author

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China)

is the author of Formal methods for protocol engineering and distributed systems. Browse their full catalog on Booklogr.

Explore more books by IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China) →

Editions & Formats

Reviews

No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.

Frequently Asked Questions

What genre is Formal methods for protocol engineering and distributed systems?+

Formal methods for protocol engineering and distributed systems is a Computer network protocols, Electronic data processing, Formal methods, Distributed processing book.

Who wrote Formal methods for protocol engineering and distributed systems?+

Formal methods for protocol engineering and distributed systems was written by IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China).