Shape Analysis - Chang, Bor-Yuh Evan
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre230,30 €
Produit Neuf
Ou 57,58 € /mois
- Livraison : 25,00 €
- Livré entre le 4 et le 10 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 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.
-
Art Of Merit: Studies In Buddhist Art And Its Conservation
Neuf dès 284,26 €
-
Instruction Particuliere Et Secrete A Mon Fils: Oeuvres Spirituelles Classiques
Occasion dès 323,40 €
-
The Sceptics
Neuf dès 300,21 €
-
Winogrand Figments From The Real World
Occasion dès 170,99 €
-
A First Course In Logic
Neuf dès 129,46 €
Occasion dès 192,99 €
-
Girls, Some Boys, And Other Cookies
Occasion dès 127,99 €
-
The Lord Of The Rings
Neuf dès 183,44 €
-
Nuancier Dcs Cmyk Pro
Occasion dès 230,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 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1970
3 avis
Neuf dès 129,00 €
-
Imagine Too!
1 avis
Neuf dès 191,68 €
-
Seamanship In The Age Of Sail
Occasion dès 215,00 €
-
Les Troubadours - Anthologie Bilingue - Jacques Roubaud
Occasion dès 130,00 €
-
Tacuinum Sanitatis In Medicina
Neuf dès 115,90 €
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
-
Cowboy Kate And Other Stories
Occasion dès 161,55 €
-
Cryogenic Heat Transfer
Neuf dès 215,99 €
-
Jonathan Lasker, Paintings 1977-2001
Neuf dès 160,00 €
Occasion dès 164,00 €
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