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: 6th International Conference, Vmcai 2005, Paris, France, January 17-19, 2005, Proceedings by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, Vmcai 2005, Paris, France, January 17-19, 2005, Proceedings

483 pages

nonfiction computer science design medium-paced
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings

395 pages

nonfiction computer science design medium-paced
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, Vmcai 2009, Savannah, Ga, Usa, January 18-20, 2009. Proceedi by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, Vmcai 2009, Savannah, Ga, Usa, January 18-20, 2009. Proceedi

381 pages

nonfiction computer science design medium-paced
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings

325 pages

nonfiction computer science design medium-paced
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, Vmcai 2008, San Francisco, Usa, January 7-9, 2008, Proceeding by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, Vmcai 2008, San Francisco, Usa, January 7-9, 2008, Proceeding

325 pages

nonfiction computer science design medium-paced
Abstract 2019 by

Lecture Notes in Computer Science

Abstract 2019

407 pages

nonfiction computer science design medium-paced
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings

556 pages

nonfiction computer science design medium-paced
Abstract 2017 by

Lecture Notes in Computer Science

Abstract 2017

450 pages

nonfiction computer science design medium-paced
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Paper by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Paper

331 pages

nonfiction computer science design medium-paced
Verification, Model Checking, and Abstract Interpretation by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

395 pages

nonfiction computer science design medium-paced