You need to sign in or sign up before continuing.

Editions

Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part II

Current edition
Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part II by

Lecture Notes in Computer Science

Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part II

549 pages

nonfiction computer science design mathematics medium-paced
Other editions (1)
Expand filter menu Filter editions
Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I by

Lecture Notes in Computer Science

Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I

673 pages

nonfiction computer science design mathematics medium-paced