Formal Techniques for Distributed Systems - Info and Reading Options
Joint IFIP WG 6. 1 International Conferences, FMOODS 2013 and FORTE 2013, Held As Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
By Dirk Beyer and Michele Boreale
"Formal Techniques for Distributed Systems" was published by Springer Berlin / Heidelberg in 2013 - Berlin, Heidelberg, it has 321 pages and the language of the book is English.
“Formal Techniques for Distributed Systems” Metadata:
- Title: ➤ Formal Techniques for Distributed Systems
- Authors: Dirk BeyerMichele Boreale
- Language: English
- Number of Pages: 321
- Publisher: Springer Berlin / Heidelberg
- Publish Date: 2013
- Publish Location: Berlin, Heidelberg
“Formal Techniques for Distributed Systems” Subjects and Themes:
- Subjects: ➤ Software engineering - Computer science - Logic design - Logics and Meanings of Programs - Computation by Abstract Devices - Mathematical Logic and Formal Languages
Edition Specifications:
- Weight: 0.516
- Pagination: xiv, 321
Edition Identifiers:
- The Open Library ID: OL37163303M - OL20719151W
- ISBN-13: 9783642385919 - 9783642385926
- All ISBNs: 9783642385919 - 9783642385926
AI-generated Review of “Formal Techniques for Distributed Systems”:
"Formal Techniques for Distributed Systems" Description:
The Open Library:
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability.
Open Data:
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability
Read “Formal Techniques for Distributed Systems”:
Read “Formal Techniques for Distributed Systems” by choosing from the options below.
Search for “Formal Techniques for Distributed Systems” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal Techniques for Distributed Systems” in Libraries Near You:
Read or borrow “Formal Techniques for Distributed Systems” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Formal Techniques for Distributed Systems” at a library near you.
Buy “Formal Techniques for Distributed Systems” online:
Shop for “Formal Techniques for Distributed Systems” on popular online marketplaces.
- Ebay: New and used books.