Articoli correlati a Formal Techniques for Distributed Objects, Components,...
Formal Techniques for Distributed Objects, Components, and Systems: 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st ... Italy, June 8-12, 2026, Proceedings: 16589 - Brossura
Sinossi
This book constitutes the refereed proceedings of the 46th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2026, held in Urbino, Italy, as part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, during June 8–12, 2026.
The 12 full papers, 1 short paper and 2 tool papers included in this book were carefully reviewed and selected from 27 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Techniques for Distributed Objects, Components,...
Foto dell'editore
Formal Techniques for Distributed Objects, Components, and Systems: 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st ... (Lecture Notes in Computer Science, 16589)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783032281869
Compra nuovo
EUR 78,23
Spedizione EUR 2,68
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Techniques for Distributed Objects, Components, and Systems
Editore:
Springer Nature Switzerland AG Aug 2026, 2026
ISBN 10: 3032281865
ISBN 13: 9783032281869
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 46th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2026, held in Urbino, Italy, as part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, during June 8 12, 2026.The 12 full papers, 1 short paper and 2 tool papers included in this book were carefully reviewed and selected from 27 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system. 272 pp. Englisch. Codice articolo 9783032281869
Compra nuovo
EUR 62,05
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Techniques for Distributed Objects, Components, and Systems
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Codice articolo 3224374086
Compra nuovo
EUR 55,40
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Techniques For Distributed Objects, Components, And Systems: 46Th Ifip Wg 6.1 International Conference, Forte 2026, Held As Part Of The 21St International Federated Conference On Distributed Computing Techniques, Discotec 2026, Urbino, Italy, June 8Â"12, 2026, Proceedings
Editore:
Springer Nature Switzerland Ag, 2026
ISBN 10: 3032281865
ISBN 13: 9783032281869
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 288 pages. 6.14x0.61x9.21 inches. In Stock. Codice articolo x-3032281865
Compra nuovo
EUR 95,31
Spedizione EUR 11,98
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Techniques for Distributed Objects, Components, and Systems : 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings
Print on DemandDa: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 46th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2026, held in Urbino, Italy, as part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, during June 8 12, 2026.The 12 full papers, 1 short paper and 2 tool papers included in this book were carefully reviewed and selected from 27 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system. Codice articolo 9783032281869
Compra nuovo
EUR 75,75
Spedizione EUR 35,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Techniques for Distributed Objects, Components, and Systems (Paperback)
Editore:
Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032281865
ISBN 13: 9783032281869
Nuovo
Paperback
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 46th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2026, held in Urbino, Italy, as part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, during June 812, 2026.The 12 full papers, 1 short paper and 2 tool papers included in this book were carefully reviewed and selected from 27 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9783032281869
Compra nuovo
EUR 75,27
Spedizione EUR 44,33
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Techniques for Distributed Objects, Components, and Systems
Print on DemandDa: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 46th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2026, held in Urbino, Italy, as part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, during June 812, 2026.The 12 full papers, 1 short paper and 2 tool papers included in this book were carefully reviewed and selected from 27 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system.Springer Nature Customer Service Center GmbH, Europaplatz 3,69115 Heidelberg, Germany, Heidelberg 288 pp. Englisch. Codice articolo 9783032281869
Compra nuovo
EUR 62,05
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Techniques for Distributed Objects, Components, and Systems | 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Formal Techniques for Distributed Objects, Components, and Systems | 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings | Laura Bocchi (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2026 | Springer | EAN 9783032281869 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 135589422
Compra nuovo
EUR 57,60
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili