Articles liés à Verification, Model Checking, and Abstract Interpretation:...
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 Proceedings . . . Computer Science and General Issues) - Couverture souple
Présentation de l'éditeur
The 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. The 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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2009
- ISBN 10 3540938990
- ISBN 13 9783540938996
- ReliureBroché
- Langueanglais
- Nombre de pages396
- ÉditeurJones Neil D.
Acheter neuf
Afficher cet article
EUR 54,63
EUR 3,53 expédition vers Etats-Unis
Destinations, frais et délaisRésultats de recherche pour Verification, Model Checking, and Abstract Interpretation:...
Image d'archives
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Lecture Notes in Computer Science, 5403)
Edité par
Springer, 2008
ISBN 10 : 3540938990
ISBN 13 : 9783540938996
Ancien ou d'occasion
Couverture souple
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-J-007-02251
Quantité disponible : 1 disponible(s)
Image d'archives
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Lecture Notes in Computer Science, 5403)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020178131
Quantité disponible : Plus de 20 disponibles
Image d'archives
Verification, Model Checking, And Abstract Interpretation
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-271563
Quantité disponible : 1 disponible(s)
Image d'archives
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Lecture Notes in Computer Science, 5403)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540938996_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Verification, Model Checking, and Abstract Interpretation
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 396. N° de réf. du vendeur 26444347
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Verification, Model Checking, and Abstract Interpretation
Edité par
Springer Berlin Heidelberg Dez 2008, 2008
ISBN 10 : 3540938990
ISBN 13 : 9783540938996
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 10th International Conference on Veri cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, January 18-20, 2009. VMCAI 2009 was the 10th in a series of meetings. Previous meetings were heldinPortJe erson1997,Pisa1998,Venice2002,NewYork2003,Venice2004, Paris 2005, Charleston 2006, Nice 2007, and San Francisco 2008. VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri cation, model checking, and abstract interpretation. A goal is to facilitate interaction, cro- fertilization, and the advance of hybrid methods that combine two or all three areas. Topics covered by VMCAI include program veri cation, program cert- cation, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization. The Program Committee selected 24 papers out of 72 submissions based on anonymous reviews and discussions in an electronic Program Committee me- ing. The principal selection criteria were relevance and quality. VMCAI has a tradition of inviting distinguished speakers to give talks and tutorials. This time the program included three invited talks by: - E. Allen Emerson (University of Texas at Austin) on 'Model Checking: Progress and Problems' - Aarti Gupta (NEC Labs, Princeton) on 'Model Checking Concurrent Programs' - Mooly Sagiv (Tel-Aviv University) on 'Thread Modular Shape Analysis' There were also two invited tutorials by: - Byron Cook (Microsoft Research, Cambridge) on 'Proving Program Ter- nation and Liveness' - V eroniqueCortier (LORIA, CNRS, Nancy) on'Veri cationof Security P- tocols'. 396 pp. Englisch. N° de réf. du vendeur 9783540938996
Quantité disponible : 2 disponible(s)
Image d'archives
Verification, Model Checking, and Abstract Interpretation
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 396 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 7436388
Quantité disponible : 1 disponible(s)
Image d'archives
Verification, Model Checking, and Abstract Interpretation
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 396. N° de réf. du vendeur 18444337
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Edité par
Springer Berlin Heidelberg, 2008
ISBN 10 : 3540938990
ISBN 13 : 9783540938996
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 10th International Conference on Veri cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, January 18-20, 2009. VMCAI 2009 was the 10th in a series of meetings. Previous meetings were heldinPortJe erson1997,Pisa1998,Venice2002,NewYork2003,Venice2004, Paris 2005, Charleston 2006, Nice 2007, and San Francisco 2008. VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri cation, model checking, and abstract interpretation. A goal is to facilitate interaction, cro- fertilization, and the advance of hybrid methods that combine two or all three areas. Topics covered by VMCAI include program veri cation, program cert- cation, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization. The Program Committee selected 24 papers out of 72 submissions based on anonymous reviews and discussions in an electronic Program Committee me- ing. The principal selection criteria were relevance and quality. VMCAI has a tradition of inviting distinguished speakers to give talks and tutorials. This time the program included three invited talks by: - E. Allen Emerson (University of Texas at Austin) on 'Model Checking: Progress and Problems' - Aarti Gupta (NEC Labs, Princeton) on 'Model Checking Concurrent Programs' - Mooly Sagiv (Tel-Aviv University) on 'Thread Modular Shape Analysis' There were also two invited tutorials by: - Byron Cook (Microsoft Research, Cambridge) on 'Proving Program Ter- nation and Liveness' - V eroniqueCortier (LORIA, CNRS, Nancy) on'Veri cationof Security P- tocols'. N° de réf. du vendeur 9783540938996
Quantité disponible : 1 disponible(s)
Image d'archives
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, Vmcai 2009, Savannah, Ga, USA, January 18-20, 2009. Proceedings
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 1st edition. 381 pages. 9.25x6.25x1.00 inches. In Stock. N° de réf. du vendeur x-3540938990
Quantité disponible : 2 disponible(s)