Editions

Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 1

Current edition
Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 1 by

Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 1

703 pages

nonfiction art computer science medium-paced
Other editions (3)
Expand filter menu Filter editions
Computer Aided Verification by Hana Chockler, Georg Weissenbacher

Computer Aided Verification

Georg Weissenbacher, Hana Chockler

552 pages

nonfiction art computer science medium-paced
Computer Aided Verification by Hana Chockler, Georg Weissenbacher

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

552 pages

nonfiction art computer science medium-paced
Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 1 by

Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 1

545 pages

nonfiction art computer science medium-paced