Buy Used and New Barbara Jobstmann Books

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. ... 9583 (Lecture Notes in Computer Science)

by Barbara Jobstmann,K. Rustan M. Leino

ISBN 13: 9783662491218

Format: Paperback (572 pages)
Publisher: Springer
Published: 26 Dec 2015

Save for later