Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III - Couverture souple

9783031197581: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III

Couverture souple

ISBN 10 : 3031197585 ISBN 13 : 9783031197581

Editeur : Springer, 2022

Afficher les exemplaires de cette �dition comportant l?ISBN

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.

The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

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

�diteurSpringer
Date d'�dition2022
ISBN 10 3031197585
ISBN 13 9783031197581
ReliureBroch�
Langueanglais
Num�ro d'�dition1
Nombre de pages488
�diteurMargaria Tiziana, Steffen Bernhard
Coordonn�es du fabricantnon disponible

Acheter neuf

Afficher cet article

EUR 66,44

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Leveraging Applications of Formal Methods, Verification...

Image fournie par le vendeur

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Edit� par Springer Nature Switzerland, 2022

ISBN 10 : 3031197585 ISBN 13 : 9783031197581

Neuf Kartoniert / Broschiert

impression � la demande

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 four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.&nbsp. N� de r�f. du vendeur 715555340

Contacter le vendeur

Acheter neuf

EUR 66,44

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

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... Part III (Lecture Notes in Computer Science)

Edit� par Springer, 2022

ISBN 10 : 3031197585 ISBN 13 : 9783031197581

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 ria9783031197581_new

Contacter le vendeur

Acheter neuf

EUR 80,64

Autre devise

Frais de port : EUR 4,70

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22�30, 2022, Proceedings, Part III

Bernhard Steffen

Edit� par Springer Nature Switzerland, 2022

ISBN 10 : 3031197585 ISBN 13 : 9783031197581

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 four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day. N� de r�f. du vendeur 9783031197581

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

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Bernhard Steffen

Edit� par Springer Nature Switzerland Okt 2022, 2022

ISBN 10 : 3031197585 ISBN 13 : 9783031197581

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 four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day. 488 pp. Englisch. N� de r�f. du vendeur 9783031197581

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 d'archives

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Gr

Margaria, Tiziana

Edit� par Springer 2022-10, 2022

ISBN 10 : 3031197585 ISBN 13 : 9783031197581

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-9783031197581

Contacter le vendeur

Acheter neuf

EUR 77,18

Autre devise

Frais de port : EUR 11,19

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Bernhard Steffen

Edit� par Springer Nature Switzerland, Springer International Publishing Okt 2022, 2022

ISBN 10 : 3031197585 ISBN 13 : 9783031197581

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch. N� de r�f. du vendeur 9783031197581

Contacter le vendeur