Verification, Model Checking, and Abstract Interpretation: 9th...

Buy Verification, Model Checking, and Abstract Interpretation: 9th... here, one of many Computer Performance Optimization books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > Computer Performance Optimization > Item 278

	Verification, Model Checking, and Abstract Interpretation: 9th...
	by Francesco Logozzo, Doron A. Peled, and Leonore D. Zuck Sales Rank: 2528153	$42.06 At Amazon on 9-26-2008.

*Features* Cover Type: Hard Cover with 325 pages Published by: Springer Edition: 1st Edition April 10, 2008 Written in: English ISBN 10 Number: 3540781625 ISBN 13 Number: 978-3540781622 Book Dimensions: 9.3 x 6.1 x 0.8 inches Weighs: 1.1 pounds *Product Description* The book constitutes the refereed proceedings of the 9th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in San Francisco, USA, in January 2008. The 21 revised full papers presented together with 2 invited lectures and 2 invited tutorials were carefully reviewed and selected from a total of over sixty submissions. The papers feature current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, cross-fertilization, and advancement of hybrid methods. Back To Top
Verification, Model Checking, and Abstract Interpretation: 9th... ~~List Price: $69.95~~ Available from Amazon Price: $42.06 Updated on 9-26-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Verification, Model Checking, and Abstract Interpretation: 9th... and other related Computer Performance Optimization Books here at Rbookshop.com. To view more books about Computer Performance Optimization please use the previous and next buttons near the top of this page.