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

Home

Barnes and Noble

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, Proceedings

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

You May Also Like

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / Edition 1

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / Edition 1

Barnes and Noble
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Barnes and Noble
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Barnes and Noble
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

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
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
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
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / Edition 1

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / Edition 1

Barnes and Noble
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, Proceedings

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, Proceedings

Barnes and Noble
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, Proceedings, Part II

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, Proceedings, Part II

Barnes and Noble
Implementation and Application of Automata: 25th International Conference, CIAA 2021, Virtual Event, July 19-22, Proceedings

Implementation and Application of Automata: 25th International Conference, CIAA 2021, Virtual Event, July 19-22, Proceedings

Barnes and Noble
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / Edition 1

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / Edition 1

Barnes and Noble
Computer Vision and Machine Intelligence: Proceedings of CVMI 2022

Computer Vision and Machine Intelligence: Proceedings of CVMI 2022

Barnes and Noble
Computational Mathematics Modeling Cancer Analysis: Second International Workshop, CMMCA 2023, Held Conjunction with MICCAI Vancouver, BC, Canada, October 8, Proceedings

Computational Mathematics Modeling Cancer Analysis: Second International Workshop, CMMCA 2023, Held Conjunction with MICCAI Vancouver, BC, Canada, October 8, Proceedings

Barnes and Noble
Advances Computational Intelligence: 21st Mexican International Conference on Artificial Intelligence, MICAI 2022, Monterrey, Mexico, October 24-29, Proceedings, Part II

Advances Computational Intelligence: 21st Mexican International Conference on Artificial Intelligence, MICAI 2022, Monterrey, Mexico, October 24-29, Proceedings, Part II

Barnes and Noble
Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings / Edition 1

Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings / Edition 1

Barnes and Noble
Powered by Adeptmind