Verification, Model Checking, And Abstract Interpretation - 10th International Conference, Vmcai 2009 Savannah, Ga, Usa, January 2009, Proceedings - Jones Neil D.
- Collection: Lecture Notes Computer Science
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtrePrix conseillé 80,24 €
Qu'est-ce que le prix barré ?
C'est le prix de vente conseillé par le fabricant ou l'importateur du produit.
En savoir plus71,50 €
Produit Neuf
Ou 17,88 € /mois
- Livraison à 0,01 €
- Livré entre le 2 et le 10 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540938996_dbm
- 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 Verification, Model Checking, And Abstract Interpretation - 10th International Conference, Vmcai 2009 Savannah, Ga... - Livre Informatique
0 avis sur Verification, Model Checking, And Abstract Interpretation - 10th International Conference, Vmcai 2009 Savannah, Ga... - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Compilateurs - Cours Et Exercices Corrigés
2 avis
Occasion dès 60,00 €
-
Prince2 - Une Méthode Pour Maîtriser La Gestion De Vos Projets
Neuf dès 45,00 €
-
Specification Formelle Avec B
Neuf dès 98,00 €
Occasion dès 102,49 €
-
Video Games Et Music - La Musique Dont Vous Êtes Le Héros
Neuf dès 39,90 €
-
L'histoire De Nintendo - Tome 2, 1980-1991 L'étonnante Invention : Les Game & Watch
Occasion dès 59,90 €
-
Maîtrisez Qt - Guide De Développement D'applications Professionnelles
1 avis
Occasion dès 39,90 €
-
L'art De Clair Obscur : Expedition 33
13 avis
Neuf dès 39,90 €
Occasion dès 59,19 €
-
Cisco, Routage Et Commutation - 2e Module De Préparation À La Certification Ccna 200-120
Occasion dès 58,74 €
-
The Elder Scrolls V, Skyrim - Peuples Et Créatures
6 avis
Occasion dès 69,00 €
-
Structure Et Interpretation Des Programmes Informatiques
2 avis
Occasion dès 76,32 €
-
Montage Vidéo Avec Imovie 3 Et Idvd 3
Occasion dès 35,80 €
-
Le Renseignement Offensif
1 avis
Occasion dès 49,63 €
-
Traitement De Donnees Complexes Et Commandes En Logique Floue
Neuf dès 88,00 €
-
Electrotechnique
6 avis
Neuf dès 84,90 €
Occasion dès 50,89 €
-
Erp Et Conduite Des Changements - Alignement, Sélection Et Déploiement
Occasion dès 40,00 €
-
Le Machine Learning Et L'ia Générative Avec Python - De La Théorie À La Pratique
1 avis
Neuf dès 39,00 €
-
Neo Geo Anthologie - Gold Edition
Neuf dès 59,90 €
Occasion dès 58,29 €
-
Autocad - Conception, Dessin 2d Et 3d, Présentation - Tous Les Outils Et Fonctionnalités Avancées Autour De Projets Professionnels - Edition 2025
Neuf dès 52,00 €
Occasion dès 48,00 €
-
Cisco - Commutation, Routage Et Réseau Sans-Fil
1 avis
Neuf dès 39,00 €
-
Approche Logique De L'intelligence Artificielle Tome 3 - Du Traitement De La Langue À La Logique Des Systèmes Experts
Occasion dès 45,00 €
Produits similaires
Présentation Verification, Model Checking, And Abstract Interpretation - 10th International Conference, Vmcai 2009 Savannah, Ga...
- Livre Informatique
Résumé :
PThe book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages./P PThe 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas./P
Sommaire:
Invited Talks.- Model Checking: Progress and Problems.- Model Checking Concurrent Programs.- Thread-Modular Shape Analysis.- Invited Tutorials.- Advances in Program Termination and Liveness.- Verification of Security Protocols.- Submitted Papers.- Towards Automatic Stability Analysis for Rely-Guarantee Proofs.- Mostly-Functional Behavior in Java Programs.- The Higher-Order Aggregate Update Problem.- An Abort-Aware Model of Transactional Programming.- Model-Checking the Linux Virtual File System.- LTL Generalized Model Checking Revisited.- Monitoring the Full Range of ?-Regular Properties of Stochastic Systems.- Constraint-Based Invariant Inference over Predicate Abstraction.- Reducing Behavioural to Structural Properties of Programs with Procedures.- Query-Driven Program Testing.- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets.- Abstraction Refinement for Probabilistic Software.- Finding Concurrency-Related Bugs Using Random Isolation.- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities.- Deciding Extensions of the Theories of Vectors and Bags.- A Posteriori Soundness for Non-deterministic Abstract Interpretations.- An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking.- A Scalable Memory Model for Low-Level Code.- Synthesizing Switching Logic Using Constraint Solving.- Extending Symmetry Reduction by Exploiting System Architecture.- Shape-Value Abstraction for Verifying Linearizability.- Mixed Transition Systems Revisited.- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.
©
Détails de conformité du produit
Personne responsable dans l'UE