230,30 €
Produit Neuf
Ou 57,58 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 octobre
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 Shape Analysis Format Broché - Livre Informatique
0 avis sur Shape Analysis Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Pierre Bayle
Neuf dès 222,62 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Thinking Is Form: The Drawings Of Joseph Beuys
Occasion dès 255,99 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
Diego Rivera. The Complete Murals
Neuf dès 212,44 €
-
Flashpoint: The 10th Anniversary Omnibus
Neuf dès 158,71 €
-
Bay Area Graffiti 80-90
1 avis
Occasion dès 325,99 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 223,99 €
-
Art Of Sea Of Thieves
1 avis
Neuf dès 127,99 €
-
Lawrence Weiner: Displacement
Occasion dès 207,99 €
-
Soviet Military Deception In The Second World War
Neuf dès 195,80 €
-
Norstedts Stora Svensk-Engelska Ordbok : Norstedts Comprehensive Swedish-English Dictionary
Occasion dès 205,00 €
-
Art+Com
Occasion dès 155,99 €
-
The Sagas Of Noggin The Nog
Occasion dès 152,90 €
-
The Lord Of The Rings
Neuf dès 190,88 €
-
Nuancier Dcs Cmyk Pro
Occasion dès 230,00 €
-
Function And Meaning In Buddhist Art
Occasion dès 128,99 €
Produits similaires
Présentation Shape Analysis Format Broché
- Livre Informatique
Résumé :
Shape analyses focusing on inferring highly complex properties of heap-manipulating programs are techniques used in the automatic verification of infinite-state programs. This survey provides a comprehensive introduction to the field of shape analysis, and presents the foundation of the topic in an accessible manner to readers who are not familiar with it. To do so, the authors characterize the essence of shape analysis compared to more classical pointer analyses as well as giving the intuition underlying the abstractions commonly used in shape analysis and the algorithms that allow to statically compute intricate semantic properties. The authors cover the main families of shape analysis abstraction and algorithms, highlight the similarities between them, and characterize the main differences between the most common approaches. Finally, the authors demonstrate the impact of the field by describing a few other static analysis works &ndash...
Biographie:
that were influenced by the ideas of shape analysis. Researchers and students new to the concept of shape analysis will find this monograph a one-stop shop of information that will quickly get them up to speed on all aspects of the topic. With a comprehensive set of references, this accessible survey will enable the reader to adopt the techniques quickly in their own further research....
Sommaire:
array abstractions, dictionary abstractions and interprocedural analyses &ndash...
Détails de conformité du produit
Personne responsable dans l'UE