Nos autres offres
-
3,74 €
Occasion · Très Bon État
Option Express : Chez vous le 28/07 (?)
-
Livraison : 3,29 €
Gratuits dès 15,00 € chez ce vendeur - Livré entre le 29 juillet et le 3 août
Ancien livre de bibliothèque. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
Voir le détail de l'annonce -
Livraison : 3,29 €
-
67,26 €
Produit Neuf
Ou 16,82 € /mois
- Livraison : 3,99 €
- Livré entre le 1 et le 7 août
Voir le détail de l'annonce -
89,73 €
Produit Neuf
Ou 22,43 € /mois
- Livraison à 0,01 €
- Livré entre le 3 et le 17 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540423140_dbm
Voir le détail de l'annonce -
89,94 €
Produit Neuf
Ou 22,49 € /mois
- Livraison : 25,00 €
- Livré entre le 17 et le 22 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.
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.
-
Les Mille Premiers Mots En Anglais
6 avis
Occasion dès 2,50 €
-
Les Bisounours. La Sorcière Du Bour De La Rue.
Neuf dès 6,49 €
Occasion dès 3,74 €
-
A Man Called Ove
Occasion dès 3,74 €
-
Dry White Season
1 avis
Neuf dès 25,95 €
Occasion dès 3,74 €
-
Gomorra
Occasion dès 4,79 €
-
The Mill On The Floss
1 avis
Occasion dès 2,98 €
-
A Little Gay History
Neuf dès 17,91 €
Occasion dès 4,44 €
-
Lost Horizon
Occasion dès 3,74 €
-
Duden - Basiswörterbuch Deutsch Als Fremdsprache
Occasion dès 3,74 €
-
Gehörbildung Im Selbststudium
Occasion dès 3,74 €
-
Le Mémento Du Germaniste - Toute La Grammaire Allemande, L'essentiel Du Vocabulaire
9 avis
Neuf dès 13,00 €
Occasion dès 2,90 €
-
The Crocodile Bird
1 avis
Occasion dès 3,41 €
-
Quatuor Los Angeles Tome 4 - White Jazz
Occasion dès 3,74 €
-
Echo Park
1 avis
Occasion dès 1,92 €
-
Animal Farm
8 avis
Neuf dès 8,90 €
Occasion dès 3,40 €
-
The Black Box
2 avis
Neuf dès 9,95 €
Occasion dès 3,50 €
-
Friede Auf Erden
Neuf dès 3,19 €
Occasion dès 3,74 €
-
My Not So Perfect Life
1 avis
Neuf dès 3,19 €
Occasion dès 2,50 €
-
Peppa Pig: Peppa Goes On Holiday
Neuf dès 21,90 €
Occasion dès 3,74 €
-
La Machine A Explorer Le Temps : The Time Machine - Bilingue Anglais/Francais
2 avis
Neuf dès 12,60 €
Occasion dès 2,00 €
Produits similaires
Présentation Static Analysis Format Broché
- Livre Informatique
Résumé :
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001.BRThe 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking.
Sommaire:
Invited Paper.- Analysis of Multithreaded Programs.- Program Transformation.- Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.- Using Slicing to Identify Duplication in Source Code.- Soft Scheduling for Hardware.- Strictness and Termination.- Effective Strictness Analysis with HORN Constraints.- Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs.- An Abstract Analysis of the Probabilistic Termination of Programs.- Semantics Abstraction.- Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses.- Logic and Constraint Programming.- Parameterizing a Groundness Analysis of Logic Programs.- Finite-Tree Analysis for Constraint Logic-Based Languages.- Invited Paper.- Applications of Extended Static Checking.- Data Structures.- Cleanness Checking of String Manipulations in C Programs via Integer Analysis.- Solving Regular Tree Grammar Based Constraints.- Static Analyses of the Precision of Floating-Point Operations.- Pointer Analysis.- Estimating the Impact of Scalable Pointer Analysis on Optimization.- Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses.- Model Checking.- Parametric Optimization of Open Real-Time Systems.- Embedding Chaos.- Abstract Model Checking.- Analyzing Fair Parametric Extended Automata.- Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking.- Invited Talk.- Language-Based Security: What's Needed and Why.- Mobility.- A Behavioral Module System for the Pi-Calculus.- An Abstract Interpretation Framework for Analysing Mobile Ambients.- Abstract Interpretation-Based Static Analysis of Mobile Ambients.- Invited Session on Security.- Static Analysis and Software Assurance.- A Type and EffectAnalysis of Security Protocols.- Abstracting Cryptographic Protocols by Prolog Rules.- Security-Typed Languages and Distributed Computation....
Détails de conformité du produit
Personne responsable dans l'UE