Verification, Model Checking, and Abstract Interpretation; 8th International Conference, VMCAI 2007; Nice, France, January 2007

Berlin: Springer Verlag, 2007. First printing. Paperback. Softbound, clean unmarked text, 395 pp., New copy, still in shrink wrap. New. Item #s000601
ISBN: 9783540697350

Price: $24.00

Add to Cart Ask a Question
See all items in Computer Science
See all items by ,