Articles liés à Formal Techniques for Distributed Objects, Components,...
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Formal Techniques for Distributed Objects, Components,...
Image d'archives
Formal Techniques for Distributed Objec (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur LJW163YPPE
Acheter neuf
EUR 62,23
Expédition à EUR 5,50
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Edité par
Springer, 2023
ISBN 10 : 3031353544
ISBN 13 : 9783031353543
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 46046680
Acheter D'occasion
EUR 91,62
Expédition à EUR 2,37
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Formal Techniques for Distributed Objects, Components, and Systems
Edité par
Springer Nature Switzerland Jun 2023, 2023
ISBN 10 : 3031353544
ISBN 13 : 9783031353543
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 240 pp. Englisch. N° de réf. du vendeur 9783031353543
Acheter neuf
EUR 74,89
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th ... (Lecture Notes in Computer Science, 13910)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783031353543
Acheter neuf
EUR 95,23
Expédition à EUR 2,69
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 46046680-n
Acheter neuf
EUR 95,55
Expédition à EUR 2,37
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Formal Techniques for Distributed Objects, Components, and Systems
Edité par
Springer Nature Switzerland, 2023
ISBN 10 : 3031353544
ISBN 13 : 9783031353543
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 F. N° de réf. du vendeur 873621306
Acheter neuf
EUR 65,94
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science)
Vendeur : Books Puddle, Woodside, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26396414207
Acheter neuf
EUR 114,44
Expédition à EUR 3,58
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 399995680
Acheter neuf
EUR 116,97
Expédition à EUR 7,79
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783031353543
Acheter neuf
EUR 89,77
Expédition à EUR 35
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques
Edité par
Springer-Nature New York Inc, 2023
ISBN 10 : 3031353544
ISBN 13 : 9783031353543
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 239 pages. 9.25x6.10x0.51 inches. In Stock. N° de réf. du vendeur x-3031353544
Acheter neuf
EUR 114,88
Expédition à EUR 11,99
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)