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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 176 b
25 871 Ft
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 8 130 Ft
Lehrbuch der Chiropraktik und manuellen Gelenktherapie Volker Knott / Book Paperback
common.buy 10 402 Ft
爸爸， 你能聽到我嗎？ Y. Y. Chan / Book Paperback
common.buy 3 582 Ft
Exit West Mohsin Hamid / Book Paperback
common.buy 4 239 Ft
Techno Syndicate Vol.2 / Audio Audio CD
common.buy 7 644 Ft
L'anell de la Bruixa dels Ullots valen ENRIC LLUCH / Book Paperback
common.buy 4 257 Ft
DESVARIOS DE UN CUERDO DE ATAR ROMANO Book Paperback
common.buy 9 727 Ft
Educacio Emocional. Preguntes Essencials 1. Llibre de l' alumne.: Eduquem per a la VIDA Escola Del Gaudi / Book Paperback
common.buy 4 664 Ft
"Le Chef-d'oeuvre inconnu" di Balzac alle radici della Modernità Carlotta Castellani / Book Hardback
common.buy 24 196 Ft

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 79 353 Ft
Network-Based Parallel Computing. Communication, Architecture, and Applications Dhabaleswar K. Panda / Book Paperback
common.buy 19 925 Ft
The Historians of Scotland Anonym / Book Paperback
common.buy 12 133 Ft
Fundamentals of Solar Cells and Photovoltaic Systems Engineering Marta Victoria / Book Paperback
common.buy 39 017 Ft
Pensees Blaise Pascal / Audiobook MP3
common.buy 8 204 Ft
Big Data in Energy Economics Hui Liu / Book Hardback
common.buy 25 358 Ft
Of Space and Time Bobby Brown / Book Paperback
common.buy 4 859 Ft
The 100 Funniest Knock-Knock Jokes for Kids Bht Kids / Book Paperback
common.buy 2 934 Ft
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 13 558 Ft
Multiple Comparisons, Selection and Applications in Biometry Hoppe / Book Paperback
common.buy 26 616 Ft
Cuatro Cienegas Ecology, Natural History and Microbiology Valeria Souza / Book Hardback
common.buy 39 735 Ft
Vocationalisation of Secondary Education Revisited Jon Lauglo / Book Hardback
common.buy 59 544 Ft
Coming soon
Towards A Schmittian Theory of Regionalism within International Law and Relations SALTER / Book Hardback
common.buy 49 271 Ft
Curious George Feeds the Animals Book & CD H A Rey / Book Paperback
common.buy 4 826 Ft
Search for Extraterrestrial Life: Recent Developments M.D. Papagiannis / Book Paperback
common.buy 19 925 Ft
Zen Arts Rupert Cox / Book Hardback
common.buy 85 739 Ft
Gender and Material Culture in Archaeological Perspective Moira Donald / Book Hardback
common.buy 49 082 Ft
Oxford Reading Tree: Decode and Develop More A Level 5 Roderick Hunt / Book Paperback
common.buy 3 582 Ft
Just Business Practices in a Diverse and Developing World F. Bird / Book Hardback
common.buy 41 747 Ft
Public Libraries Amian L Champneys / Book Paperback
common.buy 9 070 Ft
Paynes Prairie Lars Andersen / Book Paperback
common.buy 4 475 Ft

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?