The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings

Barnes and Noble
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Barnes and Noble
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Barnes and Noble
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Barnes and Noble
Mathematical Software - ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Mathematical Software - ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Barnes and Noble
Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, Proceedings

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, Proceedings

Barnes and Noble
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Barnes and Noble
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Barnes and Noble
Runtime Verification: Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers

Runtime Verification: Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers

Barnes and Noble
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Barnes and Noble
Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, Proceedings

Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, Proceedings

Barnes and Noble
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Barnes and Noble
Engineering Secure Software and Systems: 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Engineering Secure Software and Systems: 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Barnes and Noble
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

Barnes and Noble
Mathematical Aspects of Computer and Information Sciences: 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Mathematical Aspects of Computer and Information Sciences: 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Barnes and Noble
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, Proceedings

Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, Proceedings

Barnes and Noble
Powered by Adeptmind