Editions

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

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

Lecture Notes in Computer Science

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

460 pages

nonfiction computer science design medium-paced
Other editions (12)
Expand filter menu Filter editions
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vmcai 2006, Charleston, Sc, Usa, January 8-10, 2006, Proceedi by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vmcai 2006, Charleston, Sc, Usa, January 8-10, 2006, Proceedi

443 pages

nonfiction computer science design medium-paced
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 9-11, 2003, Proceeding by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 9-11, 2003, Proceeding

328 pages

nonfiction computer science design medium-paced