Description: Verification, Model Checking, and Abstract Interpretation Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings Author(s): Viktor Kuncak, Andrey Rybalchenko Format: Paperback Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K ISBN-13: 9783642279393, 978-3642279393 Synopsis 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.
Price: 38.55 GBP
Location: Aldershot
End Time: 2024-11-23T09:14:52.000Z
Shipping Cost: 29.21 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Verification, Model Checking, and Abstract Interpretation
Number of Pages: 457 Pages
Language: English
Publication Name: Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Publication Year: 2012
Subject: Computer Science
Item Height: 235 mm
Type: Textbook
Author: Andrey Rybalchenko, Viktor Kuncak
Series: Lecture Notes in Computer Science
Item Width: 155 mm
Format: Paperback
