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

Barnes and Noble

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Unfortunately, this item is no longer available, but we found some similar items you might like.
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings / Edition 1

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings / Edition 1

Barnes and Noble
Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, Proceedings

Barnes and Noble
Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, 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
Technologies for E-Services: 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers / Edition 1

Technologies for E-Services: 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers / Edition 1

Barnes and Noble
Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Barnes and Noble
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, Proceedings

Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, Proceedings

Barnes and Noble
Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Barnes and Noble
Learning and Collaboration Technologies: Third International Conference, LCT 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Learning and Collaboration Technologies: Third International Conference, LCT 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Barnes and Noble
Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 / Edition 1

Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 / Edition 1

Barnes and Noble
Socio-Technical Aspects Security: 11th International Workshop, STAST 2021, Virtual Event, October 8, Revised Selected Papers

Socio-Technical Aspects Security: 11th International Workshop, STAST 2021, Virtual Event, October 8, Revised Selected Papers

Barnes and Noble
Intelligent Tutoring Systems: 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11-15, Proceedings

Intelligent Tutoring Systems: 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11-15, Proceedings

Barnes and Noble
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Barnes and Noble
Foundations of Intelligent Systems: 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings / Edition 1

Foundations of Intelligent Systems: 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings / Edition 1

Barnes and Noble
Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings

Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings

Barnes and Noble
Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Barnes and Noble
Powered by Adeptmind