Formal methods for distributed system development - 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 (2000 Pisa, Italy)
“Formal methods for distributed system development” Metadata:
- Title: ➤ Formal methods for distributed system development
- Author: ➤ IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (2000 Pisa, Italy)
“Formal methods for distributed system development” Subjects and Themes:
- Subjects: ➤ Congresses - Electronic data processing - Distributed processing - Formal methods (Computer science) - Electronic data processing, distributed processing - Computer science
Edition Identifiers:
- The Open Library ID: OL12655245W
AI-generated Review of “Formal methods for distributed system development”:
Read “Formal methods for distributed system development”:
Read “Formal methods for distributed system development” by choosing from the options below.
Search for “Formal methods for distributed system development” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal methods for distributed system development” in Libraries Near You:
Read or borrow “Formal methods for distributed system development” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Formal methods for distributed system development” at a library near you.
Buy “Formal methods for distributed system development” online:
Shop for “Formal methods for distributed system development” on popular online marketplaces.
- Ebay: New and used books.