Computers & Internet Books:

Formal Techniques for Distributed Objects, Components, and Systems

41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
Formal Techniques for Distributed Objects, Components, and Systems
$175.00

or 4 payments of $43.75 with Learn more

Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from the Mighty Ape warehouse within the timeframe shown below.

Usually ships in 2-3 weeks
Free Delivery with Primate
Join Now or upgrade at checkout

Availability

Delivering to:

Estimated arrival:

  • Around 30 Aug to 2 Sep using standard courier service

Description

This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above. Due to the Corona pandemic this event was held virtually.
Release date NZ
June 10th, 2021
Contributors
  • Edited by Kirstin Peters
  • Edited by Tim A.C. Willemse
Pages
245
Edition
1st ed. 2021
Audience
  • Professional & Vocational
Illustrations
34 Illustrations, color; 39 Illustrations, black and white; XII, 245 p. 73 illus., 34 illus. in color.
Country of Publication
Switzerland
Imprint
Springer Nature Switzerland AG
Dimensions
165x220x25
ISBN-13
9783030780883
Product ID
34993279

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

Filed under...