Buy Used and New Natasha Sharygina Books

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings: 8044 (Lecture Notes in Computer Science)

by Natasha Sharygina,Helmut Veith

ISBN 13: 9783642397981

Format: Paperback (1040 pages)
Publisher: Springer
Published: 14 Jul 2013

Save for later

Validation of Evolving Software

by Hana Chockler,Daniel Kroening,Leonardo Mariani,Natasha Sharygina

ISBN 13: 9783319382005

Format: Paperback (228 pages)
Publisher: Springer
Published: 17 Oct 2016

Save for later