Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012, Philadelphia, Pa, Usa, January 22-24, 2012, Proc by Kuncak, Viktor

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012, Philadelphia, Pa, Usa, January 22-24, 2012, Proc (Paperback) (ISBN-13: 9783642279393)

Vendor: Viktor Kuncak
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012, Philadelphia, Pa, Usa, January 22-24, 2012, Proc by Kuncak, Viktor

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012, Philadelphia, Pa, Usa, January 22-24, 2012, Proc

$54.99
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012, Philadelphia, Pa, Usa, January 22-24, 2012, Proc by Kuncak, Viktor

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012, Philadelphia, Pa, Usa, January 22-24, 2012, Proc

$54.99
Format: Paperback
Description
Description
x

Author: Viktor Kuncak
ISBN-10: 3642279392
ISBN-13: 9783642279393
Publisher: Springer
Language: English
Published: 01/12/2012
Pages: 457
Format: Paperback
Weight: 1.55lbs
Size: 9.20h x 6.10w x 1.00d

Recently Viewed Products