Description: Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, Paperback by Logozzo, Francesco (EDT); Peled, Doron A. (EDT); Zuck, Lenore D. (EDT), ISBN 3540781625, ISBN-13 9783540781622, Like New Used, Free shipping in the US This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.
Price: 67.02 USD
Location: Jessup, Maryland
End Time: 2024-12-29T14:36:46.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 : 9th I
Number of Pages: X, 325 Pages
Publication Name: Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2008
Subject: Software Development & Engineering / General, Computer Science, General, Compilers
Item Weight: 18.4 Oz
Type: Textbook
Author: Leonore D. Zuck
Item Length: 9.3 in
Subject Area: Computers
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
