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 26 mai et le 2 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.
-
306 Circuits
3 avis
Occasion dès 36,62 €
-
Programmer En Cobol - Développement Et Maintenance De Programmes
Occasion dès 38,48 €
-
Structure Et Interpretation Des Programmes Informatiques
2 avis
Occasion dès 76,42 €
-
L'art De Clair Obscur : Expedition 33
13 avis
Neuf dès 39,90 €
Occasion dès 59,19 €
-
Les Algorithmes De Base De L'informatique Quantique - Tome 2, Grover, Shor Et Métaheuristiques Quantiques
Neuf dès 39,00 €
-
The Elder Scrolls V, Skyrim - Peuples Et Créatures
6 avis
Occasion dès 69,00 €
-
Certified Ethical Hacker - Préparation À La Certification Ceh
Neuf dès 59,00 €
-
Le Renseignement Offensif
1 avis
Occasion dès 51,95 €
-
Traitement De Donnees Complexes Et Commandes En Logique Floue
Neuf dès 88,00 €
-
Cahier D'activités Arduino Pour Les Kids
Occasion dès 58,18 €
-
Le Radioamateur - Préparation À L'examen Technique, Manuel De Référence
Occasion dès 38,49 €
-
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 €
-
Les Haut-Parleurs
3 avis
Occasion dès 64,89 €
-
100 Jeux Vidéo, 1000 Anecdotes
1 avis
Occasion dès 63,57 €
-
Le Machine Learning Et L'ia Générative Avec Python - De La Théorie À La Pratique
Neuf dès 39,00 €
Occasion dès 89,26 €
-
L'électronique En Pratique - Tome 2
1 avis
Occasion dès 49,00 €
-
Neo Geo Anthologie - Gold Edition
Neuf dès 59,90 €
Occasion dès 53,81 €
-
Approche Logique De L'intelligence Artificielle Tome 3 - Du Traitement De La Langue À La Logique Des Systèmes Experts
Occasion dès 45,00 €
-
Systèmes D'exploitation
Occasion dès 79,90 €
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