Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation - Miné, Antoine
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre236,80 €
Produit Neuf
Ou 59,20 € /mois
- Livraison : 25,00 €
- Livré entre le 12 et le 17 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- 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 Tutorial On Static Inference Of Numeric Invariants By Abstract Interpretation Format Broché - Livre Informatique
0 avis sur Tutorial On Static Inference Of Numeric Invariants By Abstract Interpretation Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Quantum Chemistry, 2nd Edition
1 avis
Neuf dès 199,48 €
-
Just Enough Software Architecture: A Risk-Driven Approach
Occasion dès 119,99 €
-
Pete Townshend: Who I Am
Neuf dès 127,99 €
-
The Lord Of The Rings
Neuf dès 183,21 €
-
Art Of Merit: Studies In Buddhist Art And Its Conservation
Neuf dès 284,14 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Imagine Too!
1 avis
Neuf dès 191,68 €
-
Seamanship In The Age Of Sail
Occasion dès 215,00 €
-
Gilbert Portanier
Neuf dès 141,34 €
-
Les Troubadours - Anthologie Bilingue - Jacques Roubaud
Occasion dès 130,00 €
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
-
Numicon: Homework Activities Intervention Resource - 'maths Bag' Of Resources Per Pupil
Neuf dès 154,00 €
-
Instruction Particuliere Et Secrete A Mon Fils: Oeuvres Spirituelles Classiques
Occasion dès 296,45 €
-
Winogrand Figments From The Real World
Occasion dès 170,99 €
-
Cryogenic Heat Transfer
Neuf dès 215,99 €
-
Genre In Archaic And Classical Greek Poetry: Theories And Models
Neuf dès 267,64 €
-
Very Similar
Neuf dès 131,99 €
-
Nuancier Dcs Cmyk Pro
Occasion dès 230,00 €
Produits similaires
Présentation Tutorial On Static Inference Of Numeric Invariants By Abstract Interpretation Format Broché
- Livre Informatique
Résumé :
This monograph presents Abstract Interpretation and its use to create static analyzers that infer numeric properties on programs. Abstract Interpretation, born in the late 1970s, has proven a very effective method to construct static analyzers. It has led to successful program analysis tools like PolySpace Verifier (The Mathworks) and the Astré...
Sommaire:
e analyzer (AbsInt): industrial tools that are routinely used in the avionic, automotive, and space industries to help ensure the correctness of mission-critical software. Automatically inferring numeric invariants can be used to prove the absence of run-time errors, such as arithmetic overflows and out-of-bound array accesses, before the program is even run, while achieving a full coverage of the control and data space. This monograph is based on several Master-level courses in Abstract Interpretation given by the author. It is intended as an entry course in Abstract Interpretation, after which the reader should be ready to read the research literature on current advances in Abstract Interpretation, as well as more practical articles on the design of industrial-strength static analyzers for real languages....
Détails de conformité du produit
Personne responsable dans l'UE