Description: Formal Techniques for Distributed Systems Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings Author(s): Dirk Beyer, Michele Boreale Format: Paperback Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K ISBN-13: 9783642385919, 978-3642385919 Synopsis This book constitutes the refereed proceedings of the 15th IFIP WG [url] International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG [url] 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.
Price: 38.14 GBP
Location: Aldershot
End Time: 2024-12-03T11:02:08.000Z
Shipping Cost: 29.2 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Formal Techniques for Distributed Systems
Number of Pages: 321 Pages
Language: English
Publication Name: Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Publication Year: 2013
Subject: Computer Science
Item Height: 235 mm
Item Weight: 516 g
Type: Textbook
Author: Dirk Beyer, Michele Boreale
Series: Programming and Software Engineering
Item Width: 155 mm
Format: Paperback
