Del 10426
Del i serien Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Häftad, Engelska, 2012
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (10)
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
Produktinformation
- Utgivningsdatum2012-01-12
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor457
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642279393
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Del 16375
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
739 kr
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 209 kr
Del 15401
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops
Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi
Häftad, 2025
959 kr
Del 16625
Hoppa över listan
Du kanske också är intresserad av
Verification, Model Checking, and Abstract Interpretation
E. Allen Emerson, Kedar S. Namjoshi
Häftad, 2005
739 kr
Del 13182
Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner, Thomas Wies
Häftad, 2022
1 289 kr
Del 13881
Verification, Model Checking, and Abstract Interpretation
Cezara Dragoi, Michael Emmi, Jingbo Wang
Häftad, 2023
1 109 kr
Verification, Model Checking, and Abstract Interpretation
Ranjit Jhala, David Schmidt
Häftad, 2011
739 kr
Verification, Model Checking, and Abstract Interpretation
Barbara Jobstmann, K. Rustan M. Leino
Häftad, 2015
739 kr
Del 10747
Verification, Model Checking, and Abstract Interpretation
Isil Dillig, Jens Palsberg
Häftad, 2018
739 kr
Verification, Model Checking, and Abstract Interpretation
Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Häftad, 2013
739 kr
Verification, Model Checking, and Abstract Interpretation
Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay
Häftad, 2002
739 kr
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe, Manuel Hermenegildo
Häftad, 2010
739 kr
Del 16417
Verification, Model Checking, and Abstract Interpretation
Yu-Fang Chen, Thomas Jensen, Ondřej Lengál
Häftad, 2026
1 099 kr