Springer
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012, Philadelphia, Pa, Usa, January 22-24, 2012, Proc
Product Code:
9783642279393
ISBN13:
9783642279393
Condition:
New
$61.47
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012, Philadelphia, Pa, Usa, January 22-24, 2012, Proc
$61.47
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012, Philadelphia, Pa, Usa, January 22-24, 2012, Proc
| Author: Viktor Kuncak |
| Publisher: Springer |
| Publication Date: Jan 12, 2012 |
| Number of Pages: 457 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642279392 |
| ISBN-13: 9783642279393 |
Related Products
