Verwandte Artikel zu Verification, Model Checking, and Abstract Interpretation:...
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ... Computer Science and General Issues) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 36,96
EUR 4,52 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 48,37
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Verification, Model Checking, and Abstract Interpretation:...
Beispielbild für diese ISBN
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)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. Z1-J-007-02251
Anzahl: 1 verfügbar
Foto des Verkäufers
Verification, Model Checking, and Abstract Interpretation
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. 4902285
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Verification, Model Checking, and Abstract Interpretation
ISBN 10: 3540938990
ISBN 13: 9783540938996
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. 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¿.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch. Artikel-Nr. 9783540938996
Anzahl: 2 verfügbar
Foto des Verkäufers
Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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'. Artikel-Nr. 9783540938996
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verification, Model Checking, And Abstract Interpretation
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Artikel-Nr. ABNR-93349
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
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)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540938996_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Verification, Model Checking, and Abstract Interpretation
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. 7436388
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, Vmcai 2009, Savannah, Ga, USA, January 18-20, 2009. Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 1st edition. 381 pages. 9.25x6.25x1.00 inches. In Stock. Artikel-Nr. x-3540938990
Anzahl: 2 verfügbar