你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
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.4x15.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 Taiwan
Delivery: 29 Oct - 11 Nov Shipping: 11 to 15 business days.
NT$ 2,055
Faster New Book Imported to Taiwan
Delivery: 21 Oct - 29 Oct Shipping: 5 to 6 business days.
NT$ 2,120
NT$ 2,055

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