Formal methods for distributed system development - Info and Reading Options
October 10-13, 2000, Pisa, Italy
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" was published by Kluwer Academic Publishers in 2000 - Boston, MA, it has 408 pages and the language of the book is English.
“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)
- Language: English
- Number of Pages: 408
- Publisher: Kluwer Academic Publishers
- Publish Date: 2000
- Publish Location: Boston, MA
“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 Specifications:
- Pagination: xiv, 408 p. :
Edition Identifiers:
- The Open Library ID: OL19142436M - OL12655245W
- Library of Congress Control Number (LCCN): 00061057
- ISBN-10: 0792379683
- All ISBNs: 0792379683
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.