Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada Formal Techniques for Distributed Objects, Components, and Systems
Type
Physical Book
Year
2023
Language
English
Pages
240
Format
Paperback
Dimensions
23.4 x 15.6 cm
ISBN13
9783031353567

Formal Techniques for Distributed Objects, Components, and Systems

António Ravara;Marieke Huisman (Author) · Springer Nature B.V. · Paperback

Formal Techniques for Distributed Objects, Components, and Systems - António Ravara;Marieke Huisman

Cheaper New Book Imported to Netherlands
Delivery: 01 Sep - 08 Sep Shipping: 11 to 15 business days.
€ 60,26
Faster New Book Imported to Netherlands
Delivery: 20 Aug - 24 Aug Shipping: 4 to 5 business days.
€ 61,87
Import costs and 9% BTW included in the price ✅
€ 60,26

Synopsis "Formal Techniques for Distributed Objects, Components, and Systems"

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.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews