Static Analysis: 33rd International Symposium, SAS 2026, Oakland, CA, USA, October 6–8, 2026, Proceedings: 16977 (Lecture Notes in Computer Science, 16977) - Couverture souple

9783032403735: Static Analysis: 33rd International Symposium, SAS 2026, Oakland, CA, USA, October 6–8, 2026, Proceedings: 16977 (Lecture Notes in Computer Science, 16977)

Couverture souple

ISBN 10 : 3032403731 ISBN 13 : 9783032403735

Editeur : Springer Nature Switzerland AG, 2026

Afficher les exemplaires de cette �dition comportant l'ISBN

This book constitutes the refereed proceedings of the 33rd International Static Analysis Symposium, SAS 2026, held in Oakland, CA, USA, during October 6–8, 2026.

The 20 papers included here were carefully reviewed and selected from 43 submissions. They focus on 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.

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

�diteur: Springer Nature Switzerland AG
Date d'�dition: 2026
Langue: anglais
ISBN 10: 3032403731
ISBN 13: 9783032403735
Reliure: Tapa blanda
Nombre de pages: 626
�diteur: Bardin S�bastien, Thakur Aditya V.
Coordonn�es du fabricant: ROXIO
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Allemagne

R�sultats de recherche pour Static Analysis: 33rd International Symposium, SAS...

Image fournie par le vendeur

Static Analysis

S�bastien Bardin

Edit� par Springer, Berlin, Springer Dez 2026, 2026

ISBN 10 : 3032403731 ISBN 13 : 9783032403735

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 33rd International Static Analysis Symposium, SAS 2026, held in Oakland, CA, USA, during October 6-8, 2026.The 20 papers included here were carefully reviewed and selected from 43 submissions. They focus on 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. 604 pp. Englisch. N� de r�f. du vendeur 9783032403735

Contacter le vendeur

Acheter neuf

EUR 79,17

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Static Analysis : 33rd International Symposium, SAS 2026, Oakland, CA, USA, October 6-8, 2026, Proceedings

S�bastien Bardin

Edit� par Springer, Berlin, Springer, 2026

ISBN 10 : 3032403731 ISBN 13 : 9783032403735

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 33rd International Static Analysis Symposium, SAS 2026, held in Oakland, CA, USA, during October 6-8, 2026.The 20 papers included here were carefully reviewed and selected from 43 submissions. They focus on 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. N� de r�f. du vendeur 9783032403735

Contacter le vendeur