Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Techniques for Distributed Objects, Components, and Systems

45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Techniques for Distributed Objects, Components, and Systems Carla Ferreira
Libristo code: 48688633
Publishers Springer, Berlin, November 2024
This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on F... Full description
? points 162 b
67.14 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Ceviri Teknikleri ve Baslica Arapca Kaliplar Ali Bulut / Book Paperback
common.buy 21.16 €
Lehrbuch der Chiropraktik und manuellen Gelenktherapie Volker Knott / Book Paperback
common.buy 26.83 €
爸爸， 你能聽到我嗎？ Y. Y. Chan / Book Paperback
common.buy 9.21 €
Exit West Mohsin Hamid / Book Paperback
common.buy 10.93 €
Techno Syndicate Vol.2 / Audio Audio CD
common.buy 19.94 €
L'anell de la Bruixa dels Ullots valen ENRIC LLUCH / Book Paperback
common.buy 11.94 €
DESVARIOS DE UN CUERDO DE ATAR ROMANO Book Paperback
common.buy 27.44 €
Educacio Emocional. Preguntes Essencials 1. Llibre de l' alumne.: Eduquem per a la VIDA Escola Del Gaudi / Book Paperback
common.buy 12.14 €
"Le Chef-d'oeuvre inconnu" di Balzac alle radici della Modernità Carlotta Castellani / Book Hardback
common.buy 68.56 €

This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, during June 16 20, 2025.

The 8 full papers and 5 short papers included in this book were carefully reviewed and selected from 25 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system.

 

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Techniques for Distributed Objects, Components, and Systems
Author Carla Ferreira, Claudio Antares Mezzina
Language English
Binding Book - Paperback
Date of issue 2025
Number of pages 209
EAN 9783031954962
Libristo code 48688633
Publishers Springer, Berlin
Weight 331
Dimensions 155 x 235

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Advances in Machine Learning II Jacek Koronacki / Book Paperback
common.buy 206.00 €
Network-Based Parallel Computing. Communication, Architecture, and Applications Dhabaleswar K. Panda / Book Paperback
common.buy 51.75 €
The Historians of Scotland Anonym / Book Paperback
common.buy 31.29 €
Fundamentals of Solar Cells and Photovoltaic Systems Engineering Marta Victoria / Book Paperback
common.buy 107.25 €
Pensees Blaise Pascal / Audiobook MP3
common.buy 23.08 €
Big Data in Energy Economics Hui Liu / Book Hardback
common.buy 65.62 €
Of Space and Time Bobby Brown / Book Paperback
common.buy 13.26 €
The 100 Funniest Knock-Knock Jokes for Kids Bht Kids / Book Paperback
common.buy 7.69 €
The Essence of Religion: God the Image of Man, Man's Dependence on Nature, the Last and Only Source of Religion Ludwig Feuerbach / Book Hardback
common.buy 35.44 €
Multiple Comparisons, Selection and Applications in Biometry Hoppe / Book Paperback
common.buy 70.08 €
Cuatro Cienegas Ecology, Natural History and Microbiology Valeria Souza / Book Hardback
common.buy 103.10 €
Vocationalisation of Secondary Education Revisited Jon Lauglo / Book Hardback
common.buy 154.55 €
Coming soon
Towards A Schmittian Theory of Regionalism within International Law and Relations SALTER / Book Hardback
common.buy 129.13 €
Curious George Feeds the Animals Book & CD H A Rey / Book Paperback
common.buy 12.55 €
Search for Extraterrestrial Life: Recent Developments M.D. Papagiannis / Book Paperback
common.buy 51.75 €
Zen Arts Rupert Cox / Book Hardback
common.buy 230.31 €
Gender and Material Culture in Archaeological Perspective Moira Donald / Book Hardback
common.buy 127.71 €
Oxford Reading Tree: Decode and Develop More A Level 5 Roderick Hunt / Book Paperback
common.buy 10.12 €
Just Business Practices in a Diverse and Developing World F. Bird / Book Hardback
common.buy 114.64 €
Public Libraries Amian L Champneys / Book Paperback
common.buy 25.61 €
Paynes Prairie Lars Andersen / Book Paperback
common.buy 11.54 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?