Description: Verification, Model Checking, and Abstract Interpretation : 15th International Conference, Vmcai 2014, San Diego, Ca, USA, January 19-21, 2014, Proceedings, Paperback by McMillan, Kenneth (EDT); Rival, Xavier (EDT), ISBN 3642540120, ISBN-13 9783642540127, Like New Used, Free shipping in the US This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Price: 82.79 USD
Location: Jessup, Maryland
End Time: 2024-11-16T22:23:40.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Verification, Model Checking, and Abstract Interpretation : 15th
Number of Pages: Xviii, 493 Pages
Language: English
Publication Name: Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Publisher: Springer Berlin / Heidelberg
Publication Year: 2014
Subject: Programming Languages / General, Software Development & Engineering / General, Networking / General, Computer Science, General
Item Height: 0.4 in
Type: Textbook
Item Weight: 270.3 Oz
Author: Xavier Rival
Item Length: 9.3 in
Subject Area: Computers
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
