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). 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings Author(s): Barbara Jobstmann, K. Rustan M. Leino Format: Paperback Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K ISBN-13: 9783662491218, 978-3662491218 Synopsis This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstractinterpretation and abstract domains, program synthesis, static analysis,type systems, deductive methods, program certification, debugging techniques,program transformation, optimization, hybrid and cyber-physical systems.
Price: 39.41 GBP
Location: Aldershot
End Time: 2024-11-16T09:14:17.000Z
Shipping Cost: 29.1 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
Item Height: 235 mm
Item Width: 155 mm
Series: Lecture Notes in Computer Science
Author: K. Rustan M. Leino, Barbara Jobstmann
Publication Name: Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Format: Paperback
Language: English
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Subject: Computer Science
Publication Year: 2015
Type: Textbook
Item Weight: 866 g
Number of Pages: 558 Pages
