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.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Shape Analysis Format Broché - Livre Informatique

Note : 0 0 avis sur Shape Analysis Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Shape Analysis Format Broché
- Livre Informatique

Livre Informatique - Chang, Bor-Yuh Evan - 01/10/2020 - Broché - Langue : Anglais

Auteur(s) : Chang, Bor-Yuh Evan - Dr& - Manevich, Roman - Rinetzky, Noam - Rival, Xavier

Editeur : Now Publishers

Langue : Anglais

Parution : 01/10/2020

Format : Moyen, de 350g à 1kg

Nombre de pages : 170.0

Expédition : 272

Dimensions : 23.4 x 15.6 x 1.0

ISBN : 168083732X

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

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Shape Analysis - Chang, Bor-Yuh Evan

Avis sur Shape Analysis Format Broché - Livre Informatique

Présentation Shape Analysis Format Broché - Livre Informatique

Présentation Shape Analysis Format Broché
- Livre Informatique