130,68 €
Produit Neuf
Ou 32,67 € /mois
- Livraison à 0,01 €
- Livré entre le 20 juillet et le 3 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030888053_dbm
Nos autres offres
-
133,61 €
Produit Neuf
Ou 33,40 € /mois
- Livraison : 3,99 €
- Livré entre le 20 et le 27 juillet
Voir le détail de l'annonce
- 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
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
500+ Ukrainian Verbs
Neuf dès 69,18 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
Georgia O'keeffe
Occasion dès 105,99 €
-
Microeconomics, Global Edition
Neuf dès 151,23 €
Occasion dès 95,51 €
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
-
A History Of Modern Europe
Neuf dès 66,61 €
-
So Hilft Ihnen Die Blutegeltherapie
Neuf dès 71,94 €
-
Winogrand Figments From The Real World
Occasion dès 170,99 €
-
Girls, Some Boys, And Other Cookies
Occasion dès 127,99 €
-
A First Course In Logic
Neuf dès 129,46 €
Occasion dès 192,99 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
Merce Cunningham
Occasion dès 70,00 €
-
Karl Blossfeldt
2 avis
Occasion dès 69,00 €
-
Comic Book Culture: An Illustrated History
Occasion dès 78,99 €
-
Idiomes Et Proverbes - N° 6 - Idiomes Et Proverbes - Anglais-Français, Français-Anglais
Occasion dès 89,90 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
Atlas On The Prophet's Biography
Occasion dès 110,00 €
-
The Lord Of The Rings
Neuf dès 126,00 €
-
L'ecole De Paris, 1945-1965: Dictionnaire Des Peintres (Dictionnaires)
2 avis
Occasion dès 147,92 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
Produits similaires
Présentation Static Analysis Format Broché
- Livre Informatique
Résumé :
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.
Sommaire:
Fast and Efficient Bit-Level Precision Tuning.- Backward Symbolic Execution with Loop Folding.- Accelerating Program Analyses in Datalog by Merging Library Facts.- Abstract Interpretation.- Verified Functional Programming of an Abstract Interpreter.- Disjunctive Interval Analysis.- Static analysis of ReLU neural networks with tropical polyhedral.- Exploiting Verified Neural Networks via Floating Point Numerical Error.-Verifying Low-dimensional Input Neural Networks via Input Quantization.- Data Abstraction: A General Framework to Handle Program.- Verification of Data Structures.- Toward Neural-Network-Guided Program Synthesis and Verification.- Selective Context-Sensitivity for k-CFA with CFL-Reachability.- Selectively-Amortized Resource Bounding.- Reduced Products of Abstract Domains for Fairness Certification of Neural Networks.- A Multi-Language Static Analysis of Python Programs with Native C Extensions.- Automated Verification of the Parallel Bellman-Ford Algorithm.- Improving Thread-Modular Abstract Interpretation.- Thread-modular Analysis of Release-Acquire Concurrency.- Symbolic Automatic Relations and Their Applications to SMT and CHC Solving.- Compositional Verification of Smart Contracts Through Communication Abstraction.- Automatic Synthesis of Data-Flow Analyzer....
Détails de conformité du produit
Personne responsable dans l'UE