Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I - Couverture souple

9783031453281: Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I

Couverture souple

ISBN 10 : 303145328X ISBN 13 : 9783031453281

Editeur : Springer, 2023

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 59,26

10 Neuf

De EUR 74,71

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

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

�diteur: Springer
Date d'�dition: 2023
Langue: anglais
ISBN 10: 303145328X
ISBN 13: 9783031453281
Reliure: Broch�
Num�ro d'�dition: 1
Nombre de pages: 464
�diteur: Andr� �tienne, Sun Jun
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

�tat : Assez bon

Afficher cet article

EUR 59,26

Autre devise

EUR 12,43 exp�dition depuis Etats-Unis vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 74,71

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Automated Technology for Verification and Analysis:...

Image d'archives

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24�"27, 2023, Proceedings, Part I (Lecture Notes in Computer Science)

Edit� par Springer, 2023

ISBN 10 : 303145328X ISBN 13 : 9783031453281

Ancien ou d'occasion paperback

Vendeur : Books From California, Simi Valley, CA, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

paperback. Etat : Very Good. N� de r�f. du vendeur mon0003595607

Contacter le vendeur

Acheter D'occasion

EUR 59,26

Autre devise

Frais de port : EUR 12,43

De Etats-Unis vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Automated Technology for Verification and Analysis

Edit� par Springer, Berlin|Springer Nature Switzerland|Springer, 2023

ISBN 10 : 303145328X ISBN 13 : 9783031453281

Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 1088522366

Contacter le vendeur

Acheter neuf

EUR 74,71

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

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I (Lecture Notes in Computer Science)

Edit� par Springer, 2023

ISBN 10 : 303145328X ISBN 13 : 9783031453281

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 ria9783031453281_new

Contacter le vendeur

Acheter neuf

EUR 82,43

Autre devise

Frais de port : EUR 4,62

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Jun Sun

Edit� par Springer Nature Switzerland, Springer International Publishing, 2023

ISBN 10 : 303145328X ISBN 13 : 9783031453281

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 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware. N� de r�f. du vendeur 9783031453281

Contacter le vendeur

Acheter neuf

EUR 85,59

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

Automated Technology for Verification and Analysis

Jun Sun

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

ISBN 10 : 303145328X ISBN 13 : 9783031453281

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 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware. 464 pp. Englisch. N� de r�f. du vendeur 9783031453281

Contacter le vendeur

Acheter neuf

EUR 85,59

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Automated Technology for Verification and Analysis

Jun Sun

Edit� par Springer Nature Switzerland, Springer Nature Switzerland Okt 2023, 2023

ISBN 10 : 303145328X ISBN 13 : 9783031453281

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 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch. N� de r�f. du vendeur 9783031453281

Contacter le vendeur