Montant total (1 article articles) :
Destination de la commande :
formal techniques distributed systems (323 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (323)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (125)
- Sans impressions à la demande (250)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL (Wiley Series in Communication and Distributed Systems)
Vendeur : Bahamut Media, Reading, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 4,94
Autre deviseEUR 3,51 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres d'occasion à partir de EUR 8,45
Trouvez également Couverture souple
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, . (Lecture Notes in Computer Science)
Edité par Springer Berlin Heidelberg, 2002
ISBN 10 : 3540001417 ISBN 13 : 9783540001416
Langue: anglais
Vendeur : Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 2,24
Autre deviseEUR 9,95 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Gebraucht - Wie neu sehr gut erhalten; Rechnung mit MwSt.; Bestellungen bis 15 Uhr werden am gleichen Werktag verschickt. ;.This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. -This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. 388 pp. Englisch.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 12,19
Offres d'occasion à partir de EUR 81,21
Trouvez également Couverture souple
-
Formal Techniques for Networked and Distributed Systems- FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 200
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2008
ISBN 10 : 3540688544 ISBN 13 : 9783540688549
Langue: anglais
EUR 20,90
Autre deviseEUR 3,50 expédition vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 29,29
Offres d'occasion à partir de EUR 24,40
Trouvez également Couverture souple
-
Formal Techniques for Distributed Systems: Joint Ifip Wg 6.1 International Conference, Fmoods/Forte 2013, Held as Part of the 8th International Federa
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 29,05
Autre deviseEUR 6,76 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.04.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 35,81
Trouvez également Couverture souple
-
EUR 9,90 expédition depuis Allemagne vers France
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 231 | Sprache: Englisch | Produktart: Bücher.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 73,78
Offres d'occasion à partir de EUR 35,97
Trouvez également Couverture souple
-
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th . (Lecture Notes in Computer Science, 11535)
Vendeur : Gardner's Used Books, Inc., Tulsa, OK, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,87
Autre deviseEUR 27,70 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Good. Good condition. Pages are clean and unmarked. Little to no edgewear. Tulsa's largest used bookstore. Located on South Mingo Road since 1991. No-hassle return policy if not completely satisfied.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 70,38
Offres d'occasion à partir de EUR 36,57
Trouvez également Couverture souple
-
FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2004 (LNCS 3235)
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 35,16
Autre deviseEUR 2,90 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 38,06
Offres d'occasion à partir de EUR 63,43
Trouvez également Couverture souple
-
EUR 34,83
Autre deviseEUR 3,50 expédition vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 2018. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2018. Ammareal gives back up to 15% of this item's net price to charity organizations.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 38,33
Trouvez également Couverture souple
-
EUR 38,53
Autre deviseEUR 3,50 expédition vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 2017. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2017. Ammareal gives back up to 15% of this item's net price to charity organizations.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 64,48
Offres d'occasion à partir de EUR 42,03
Trouvez également Couverture souple
-
Formal Techniques for Distributed Systems: Joint 13th Ifip Wg 6.1 International Conference, Fmoods 2011, and 30th Ifip Wg 6.1 International
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2011
ISBN 10 : 3642214606 ISBN 13 : 9783642214608
Langue: anglais
EUR 39,66
Autre deviseEUR 3,50 expédition vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 2011. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2011. Ammareal gives back up to 15% of this item's net price to charity organizations.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,44
Offres d'occasion à partir de EUR 43,16
Trouvez également Couverture souple
-
EUR 40,42
Autre deviseEUR 3,50 expédition vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 2015. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2015. Ammareal gives back up to 15% of this item's net price to charity organizations.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 43,92
Trouvez également Couverture souple
-
EUR 40,65
Autre deviseEUR 3,50 expédition vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 2016. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2016. Ammareal gives back up to 15% of this item's net price to charity organizations.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 44,15
Trouvez également Couverture souple
-
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
Edité par Springer Berlin Heidelberg, 2012
ISBN 10 : 3642307922 ISBN 13 : 9783642307928
Langue: anglais
EUR 9,90 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 284 | Sprache: Englisch | Produktart: Bücher.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 47,41
Trouvez également Couverture souple
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science)
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 40,43
Autre deviseEUR 9 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Auflage: 2007. 392 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969 23,1 x 16,5 x 2,0 cm, Taschenbuch.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 49,43
Trouvez également Couverture souple
-
Formal Techniques for Distributed Systems Lecture Notes in Computer Science, Band 5522
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 44,95
Autre deviseEUR 6,95 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierBroschiert. Etat : Gut. 248 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 415.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 51,90
Trouvez également Couverture souple
-
Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13¿17, 2022, P
Edité par Springer International Publishing, 2022
ISBN 10 : 3031086783 ISBN 13 : 9783031086786
Langue: anglais
EUR 9,90 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Hervorragend. Zustand: Hervorragend | Seiten: 224 | Sprache: Englisch | Produktart: Bücher.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 75,64
Offres d'occasion à partir de EUR 53,99
Trouvez également Couverture souple
-
Formal Techniques for Networked and Distributed Systems - FORTE 2003
Edité par Springer Berlin Heidelberg, 2003
ISBN 10 : 3540201750 ISBN 13 : 9783540201755
Langue: anglais
EUR 48,37
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierKartoniert / Broschiert. Etat : New.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 81,83
Trouvez également Couverture souple
-
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, 202
Edité par Springer Nature Switzerland, 2023
ISBN 10 : 3031353544 ISBN 13 : 9783031353543
Langue: anglais
EUR 9,90 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Hervorragend. Zustand: Hervorragend | Seiten: 240 | Sprache: Englisch | Produktart: Bücher.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 75,64
Offres d'occasion à partir de EUR 57,27
Trouvez également Couverture souple
-
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th ... DisCoTec 2023, Lisbon, Portugal, J
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,18
Autre deviseEUR 4,69 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Formal Techniques for Networked and Distributed Systems: FORTE 2001
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,18
Autre deviseEUR 4,69 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 59,87
Trouvez également Couverture souple
-
Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Edité par Springer Berlin Heidelberg, 2014
ISBN 10 : 3662436124 ISBN 13 : 9783662436127
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 134,92
Trouvez également Couverture souple
-
Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14¿18, 2021, Proceedings
Edité par Springer International Publishing, 2021
ISBN 10 : 3030780880 ISBN 13 : 9783030780883
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.Due to the Corona pandemic this event was held virtually.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Trouvez également Couverture souple
-
Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 65,40
Autre deviseEUR 4,69 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 70,09
Trouvez également Couverture souple
-
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, . / Programming and Software Engineering)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 12,20
Autre deviseEUR 56,26 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 122,77
Offres d'occasion à partir de EUR 68,46
Trouvez également Couverture souple
-
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference Paris, France, September 26-
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2006
ISBN 10 : 3540462198 ISBN 13 : 9783540462194
Langue: anglais
EUR 73,37
Autre deviseEUR 3,50 expédition vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 122,77
Offres d'occasion à partir de EUR 76,87
Trouvez également Couverture souple
-
Formal Techniques for Distributed Objects, Components, and Systems (Programming and Software Engineering)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 74,05
Autre deviseEUR 4,69 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 71,25
Trouvez également Couverture souple
-
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
Edité par Springer, Berlin, Springer Nature Switzerland, Springer, 2025
ISBN 10 : 3031954963 ISBN 13 : 9783031954962
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 68,16
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 69,83
Trouvez également Couverture souple
-
Formal Techniques for Distributed Objects, Components, and Systems: 11th International Symposium, Isbra 2015 Norfolk, USA, June 7-10, 2015 Proceedings
Edité par Springer-Verlag New York Inc, 2015
ISBN 10 : 3319190474 ISBN 13 : 9783319190471
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 81,53
Autre deviseEUR 11,74 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 2015 edition. 451 pages. 9.25x6.25x1.25 inches. In Stock.
-
Formal Techniques For Networked And Distributed Systems
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 133,14
Autre deviseGratuit expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 133,14
Offres d'occasion à partir de EUR 235,76
Trouvez également Couverture rigide
-
Formal Techniques for Networked and Distributed Systems : FORTE 2001
Edité par Springer US, Springer US, 2013
ISBN 10 : 1475788258 ISBN 13 : 9781475788259
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 217,46
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques for Networked and Distributed Systems). The previous FORTE began in 1989 and the PSTV conference in 1981. Therefore the new FORTE conference actually has a long history of 21 years. The purpose of this conference is to introduce theories and formal techniques applicable to various engineering stages of networked and distributed systems and to share applications and experiences of them. This FORTE 2001 conference proceedings contains 24 refereed papers and 4 invited papers on the subjects. We regret that many good papers submitted could not be published in this volume due to the lack of space. FORTE 2001 was organized under the auspices of IFIP WG 6.1 by Information and Communications University of Korea. It was financially supported by Ministry of Information and Communication of Korea. We would like to thank every author who submitted a paper to FORTE 2001 and thank the reviewers who generously spent their time on reviewing. Special thanks are due to the reviewers who kindly conducted additional reviews for rigorous review process within a very short time frame. We would like to thank Prof. Guy Leduc, the chairman of IFIP WG 6.1, who made valuable suggestions and shared his experiences for conference organization.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 189,77
Trouvez également Couverture souple
