109,99 €
Occasion · Comme Neuf
Ou 27,50 € /mois
- Livraison : 25,00 €
- Livré entre le 13 et le 21 avril
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Static Analysis Format Broché - Livre Informatique
0 avis sur Static Analysis Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
A Practical Guide To Chemical Peels, Microdermabrasion & Topical Products
Neuf dès 153,61 €
-
Yoga Art
Occasion dès 138,25 €
-
Le Mans: The Official History 1923-29
Neuf dès 67,14 €
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
L'Histoire La Vie Et Les Moeurs Et La Curiosité
Occasion dès 99,00 €
-
Key Questions In Cardiac Surgery
Neuf dès 108,15 €
-
Machine Learning And Data Sciences For Financial Markets
Neuf dès 150,03 €
Occasion dès 78,87 €
-
Michael Kenna - Arbres / Trees
2 avis
Occasion dès 95,00 €
-
Eighteenth Century Musical Instruments, France And Britain = Les Instruments De Musique Au Xviiie Siecle, France Et Grande-Bretagne: [Catalo
Occasion dès 55,50 €
-
Crew Resource Management Training
Neuf dès 85,94 €
Occasion dès 82,99 €
-
Lillian Bassman / Paul Himmel
Occasion dès 106,99 €
-
J W Waterhouse
Occasion dès 125,15 €
-
The Ballad Of Sexual Dependency
Occasion dès 84,91 €
-
Edmond Lachenal And His Legacy
Occasion dès 84,68 €
-
Ed Fox 02
9 avis
Occasion dès 58,89 €
-
Autour Des Collections D'art En Chine Au Xviiie Siècle
Neuf dès 68,07 €
-
Mantegna Tarot: Tarot Cards With Silver Decoration, Instructions
Occasion dès 100,00 €
-
Babembe Sculpture
1 avis
Occasion dès 119,00 €
-
The Baltic Sea And Approaches
Occasion dès 96,27 €
-
The Harvard Book: Selections From Three Centuries, Revised Edition
Neuf dès 80,22 €
Produits similaires
Présentation Static Analysis Format Broché
- Livre Informatique
Résumé :
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. ...
Biographie:
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. ...
Sommaire:
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. ...
Détails de conformité du produit
Personne responsable dans l'UE