Static Analysis (Paperback)

Langue : anglais

Edité par Springer Nature Switzerland AG, Cham, 2025

3032071054 / 9783032071057

Vendeur : CitiRetail, Stevenage, Royaume-UniCitiRetail

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 29 juin 2022

Livre broché

Etat: Neuf

EUR 94,71

EUR 44,19 expédition 
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Paperback. This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025. The 15 papers included here were carefully reviewed and selected from 32 submissions. The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging applications, model checking, data science, program optimizations and transformations, program synthesis, program verification, machine learning and verification, security analysis, tool environments and architectures, theoretical frameworks, type checking, distributed or networked systems, and LLM for static analysis and static analysis for LLM. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

N° de réf. du vendeur 9783032071057

Titre
Static Analysis (Paperback)
Auteur
Hakjoo Oh
Éditeur
Springer Nature Switzerland AG, Cham
Année de publication
2025
État de l'article
new
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
3032071054
ISBN à 13 chiffres
9783032071057

CitiRetail

Stevenage, Royaume-Uni

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 29 juin 2022

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article7 à 14 jours ouvrés7 à 60 jours ouvrés
Premier articleEUR 44,19EUR 44,19
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Description de la boutique

Online business

Profil professionnel du vendeur

ABC BOOKS LIMITED

10 John Street
London, Royaume-Uni WC1N 2EB