Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I - Couverture souple
Synopsis
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.
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
Couverture souple
Vendeur : World of Books (was SecondSale), Montgomery, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de réf. du vendeur 00081382063
Acheter D'occasion
EUR 65,10
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
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 4 sur 5 étoiles
paperback. Etat : Very Good. N° de réf. du vendeur mon0003595607
Acheter D'occasion
EUR 69,62
Expédition à EUR 4,30
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Technology for Verification and Analysis (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur DMLSU0QTLO
Acheter neuf
EUR 70,24
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
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)
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
Acheter neuf
EUR 83,51
Expédition à EUR 13,73
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Automated Technology for Verification and Analysis
ISBN 10 : 303145328X
ISBN 13 : 9783031453281
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 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
Acheter neuf
EUR 85,59
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
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
Acheter neuf
EUR 74,71
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
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24?27, 2023, Proceedings, Part I: 14215 (Lecture Notes in Computer Science)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 464. N° de réf. du vendeur 18398553706
Acheter neuf
EUR 114,81
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24?27, 2023, Proceedings, Part I: 14215 (Lecture Notes in Computer Science)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 464. N° de réf. du vendeur 26398553696
Acheter neuf
EUR 122,96
Expédition à EUR 3,44
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24?27, 2023, Proceedings, Part I: 14215 (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 pp. 464. N° de réf. du vendeur 397856191
Acheter neuf
EUR 123,70
Expédition à EUR 7,45
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Automated Technology for Verification and Analysis: 21st International Symposium, Atva 2023, Singapore, October 2427, 2023, Proceedings
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 462 pages. 9.26x6.10x0.94 inches. In Stock. N° de réf. du vendeur x-303145328X
Acheter neuf
EUR 126,45
Expédition à EUR 14,33
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)