Formal Methods for Distributed System Development (IFIP International Federation for Information Processing) - 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 (IFIP International Federation for Information Processing)" is published by Springer in September 30, 2000 - Boston, MA, it has 424 pages and the language of the book is English.
“Formal Methods for Distributed System Development (IFIP International Federation for Information Processing)” Metadata:
- Title: ➤ Formal Methods for Distributed System Development (IFIP International Federation for Information Processing)
- 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: 424
- Publisher: Springer
- Publish Date: September 30, 2000
- Publish Location: Boston, MA
“Formal Methods for Distributed System Development (IFIP International Federation for Information Processing)” Subjects and Themes:
- Subjects: ➤ Congresses - Electronic data processing - Distributed processing - Formal methods (Computer science) - Electronic data processing, distributed processing - Computer science
Edition Specifications:
- Format: Hardcover
- Weight: 1.7 pounds
- Dimensions: 9.2 x 6.1 x 0.9 inches
Edition Identifiers:
- The Open Library ID: OL11152472M - OL12655245W
- Library of Congress Control Number (LCCN): 00061057
- ISBN-13: 9780792379683
- ISBN-10: 0792379683
- All ISBNs: 0792379683 - 9780792379683
AI-generated Review of “Formal Methods for Distributed System Development (IFIP International Federation for Information Processing)”:
Read “Formal Methods for Distributed System Development (IFIP International Federation for Information Processing)”:
Read “Formal Methods for Distributed System Development (IFIP International Federation for Information Processing)” by choosing from the options below.
Search for “Formal Methods for Distributed System Development (IFIP International Federation for Information Processing)” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal Methods for Distributed System Development (IFIP International Federation for Information Processing)” in Libraries Near You:
Read or borrow “Formal Methods for Distributed System Development (IFIP International Federation for Information Processing)” from your local library.
Buy “Formal Methods for Distributed System Development (IFIP International Federation for Information Processing)” online:
Shop for “Formal Methods for Distributed System Development (IFIP International Federation for Information Processing)” on popular online marketplaces.
- Ebay: New and used books.