Formal methods for protocol engineering and distributed systems - Info and Reading Options
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)
“Formal methods for protocol engineering and distributed systems” Metadata:
- Title: ➤ 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)
“Formal methods for protocol engineering and distributed systems” Subjects and Themes:
- Subjects: ➤ Congresses - Computer network protocols - Electronic data processing - Formal methods (Computer science) - Distributed processing - Méthodes formelles (Informatique) - Traitement réparti - Congrès - Protocoles de réseaux d'ordinateurs - Electronic data processing, distributed processing
Edition Identifiers:
- The Open Library ID: OL13185000W
AI-generated Review of “Formal methods for protocol engineering and distributed systems”:
Read “Formal methods for protocol engineering and distributed systems”:
Read “Formal methods for protocol engineering and distributed systems” by choosing from the options below.
Search for “Formal methods for protocol engineering and distributed systems” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal methods for protocol engineering and distributed systems” in Libraries Near You:
Read or borrow “Formal methods for protocol engineering and distributed systems” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Formal methods for protocol engineering and distributed systems” at a library near you.
Buy “Formal methods for protocol engineering and distributed systems” online:
Shop for “Formal methods for protocol engineering and distributed systems” on popular online marketplaces.
- Ebay: New and used books.