Formal Techniques for Distributed Objects, Components, and Systems - Couverture souple

9783031086786: Formal Techniques for Distributed Objects, Components, and Systems

Couverture souple

ISBN 10 : 3031086783 ISBN 13 : 9783031086786

Editeur : Springer, 2022

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 44,09

12 Neuf

De EUR 65,94

This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteurSpringer
Date d'�dition2022
ISBN 10 3031086783
ISBN 13 9783031086786
ReliureBroch�
Langueanglais
Num�ro d'�dition1
Nombre de pages224
�diteurMousavi Mohammad Reza, Philippou Anna
Coordonn�es du fabricantnon disponible

Acheter D'occasion

Zustand: Hervorragend | Seiten:...

Afficher cet article

EUR 44,09

Autre devise

EUR 9,90 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 65,94

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Formal Techniques for Distributed Objects, Components,...

Image d'archives

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

Unbekannt

Edit� par Springer International Publishing, 2022

ISBN 10 : 3031086783 ISBN 13 : 9783031086786

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Hervorragend. Zustand: Hervorragend | Seiten: 224 | Sprache: Englisch | Produktart: B�cher. N� de r�f. du vendeur 38923644/1

Contacter le vendeur

Acheter D'occasion

EUR 44,09

Autre devise

Frais de port : EUR 9,90

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Distributed Objects, Components, and Systems

Edit� par Springer International Publishing, 2022

ISBN 10 : 3031086783 ISBN 13 : 9783031086786

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

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 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federate. N� de r�f. du vendeur 600119970

Contacter le vendeur

Acheter neuf

EUR 65,94

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th I

Mousavi, Mohammad Reza

Edit� par Springer 2022-06, 2022

ISBN 10 : 3031086783 ISBN 13 : 9783031086786

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783031086786

Contacter le vendeur

Acheter neuf

EUR 67,82

Autre devise

Frais de port : EUR 11,10

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science)

Edit� par Springer, 2022

ISBN 10 : 3031086783 ISBN 13 : 9783031086786

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783031086786_new

Contacter le vendeur

Acheter neuf

EUR 80,01

Autre devise

Frais de port : EUR 4,67

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

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, Proceedings

Anna Philippou

Edit� par Springer International Publishing, 2022

ISBN 10 : 3031086783 ISBN 13 : 9783031086786

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 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. N� de r�f. du vendeur 9783031086786

Contacter le vendeur

Acheter neuf

EUR 74,89

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Distributed Objects, Components, and Systems

Anna Philippou

Edit� par Springer International Publishing Jun 2022, 2022

ISBN 10 : 3031086783 ISBN 13 : 9783031086786

Neuf Taschenbuch

impression � la demande

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 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 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. 224 pp. Englisch. N� de r�f. du vendeur 9783031086786

Contacter le vendeur

Acheter neuf

EUR 74,89

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Distributed Objects, Components, and Systems

Anna Philippou

Edit� par Springer International Publishing, Springer International Publishing Jun 2022, 2022

ISBN 10 : 3031086783 ISBN 13 : 9783031086786

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch. N� de r�f. du vendeur 9783031086786

Contacter le vendeur