Articles liés à Static Analysis: 28th International Symposium, SAS...
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings - Couverture souple
Livre 128 sur 129: Lecture Notes in Computer Science
Synopsis
This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.
The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract domain, abstract interpretation, automated deduction, debugging techniques, deductive methods, model checking, data science, program optimizations and transformations, program synthesis, program verification, and security analysis.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Static Analysis: 28th International Symposium, SAS...
Image d'archives
Static Analysis (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 13TZ5GTUVK
Acheter neuf
EUR 70,24
Expédition à EUR 8
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings (Lecture Notes in Computer Science, 12913)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783030888053_new
Acheter neuf
EUR 91,58
Expédition à EUR 13,94
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
Static Analysis
Edité par
Springer International Publishing Okt 2021, 2021
ISBN 10 : 3030888053
ISBN 13 : 9783030888053
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 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such asstatic program analysis,abstract domain,abstract interpretation,automated deduction,debugging techniques,deductive methods,model checking,data science,program optimizations and transformations,program synthesis,program verification, and security analysis. 496 pp. Englisch. N° de réf. du vendeur 9783030888053
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 : 2 disponible(s)
Image d'archives
Static Analysis : 28th International Sym
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur V9783030888053
Acheter neuf
EUR 109,36
Expédition à EUR 9,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Static Analysis
Edité par
Springer, Berlin|Springer International Publishing|Springer, 2021
ISBN 10 : 3030888053
ISBN 13 : 9783030888053
Neuf
Couverture souple
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 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented . N° de réf. du vendeur 506747939
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
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17?19, 2021, Proceedings (Programming and Software Engineering)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 1st ed. 2021 edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26390224659
Acheter neuf
EUR 122,33
Expédition à EUR 3,44
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Static Analysis : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings
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 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such asstatic program analysis,abstract domain,abstract interpretation,automated deduction,debugging techniques,deductive methods,model checking,data science,program optimizations and transformations,program synthesis,program verification, and security analysis. N° de réf. du vendeur 9783030888053
Acheter neuf
EUR 95,69
Expédition à EUR 30,50
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17?19, 2021, Proceedings (Programming and Software Engineering)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 389407948
Acheter neuf
EUR 123,40
Expédition à EUR 7,56
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17?19, 2021, Proceedings (Programming and Software Engineering)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18390224665
Acheter neuf
EUR 125,15
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
Static Analysis : 28th International Sym
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur V9783030888053
Acheter neuf
EUR 135,76
Expédition à EUR 9,04
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)