You need to sign in or sign up before continuing.

Editions

Abstract 2017

Current edition
Abstract 2017 by

Lecture Notes in Computer Science

Abstract 2017

450 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: 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
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
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