Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th . DisCoTec 2023, Lisbon, Portugal, J

ISBN 10: 3031353560 ISBN 13: 9783031353567

Published by Springer, 2023

New Soft cover

From Ria Christie Collections, Uxbridge, United Kingdom Seller rating 5 out of 5 stars

AbeBooks Seller since March 25, 2015

This book is no longer available. AbeBooks has millions of books. Please enter search terms below to find similar copies.

View this seller's items Create a Want for similar items

View all copies of this book

About this Item

In. Seller Inventory # ria9783031353567_new

Report this item

Synopsis:

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.

The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Formal Techniques for Distributed Objects, ...
Publisher: Springer
Publication Date: 2023
Binding: Soft cover
Condition: New

AbeBooks offers millions of new, used, rare and out-of-print books, as well as cheap textbooks from thousands of booksellers around the world. Shopping on AbeBooks is easy, safe and 100% secure - search for your book, purchase a copy via our secure checkout and the bookseller ships it straight to you.