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

Home

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

Barnes and Noble

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

Current price: $84.99
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

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

Current price: $84.99

Size: Paperback

Loading Inventory...
CartBuy Online
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.

You May Also Like

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, Proceedings
Loading Inventory...
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, Proceedings
Barnes and Noble
Current price: $84.99
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, Proceedings
Loading Inventory...
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, Proceedings
Barnes and Noble
Current price: $84.99
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Loading Inventory...
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
Current price: $54.99
Software Verification: 12th International Conference, VSTTE 2020, and 13th Workshop, NSV Los Angeles, CA, USA, July 20-21, Revised Selected Papers
Loading Inventory...
Software Verification: 12th International Conference, VSTTE 2020, and 13th Workshop, NSV Los Angeles, CA, USA, July 20-21, Revised Selected Papers
Barnes and Noble
Current price: $54.99
Simulation Tools and Techniques: 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, Proceedings
Loading Inventory...
Simulation Tools and Techniques: 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, Proceedings
Barnes and Noble
Current price: $54.99
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Loading Inventory...
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Barnes and Noble
Current price: $54.99
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings / Edition 1
Loading Inventory...
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings / Edition 1
Barnes and Noble
Current price: $54.99
Advances Visual Computing: 16th International Symposium, ISVC 2021, Virtual Event, October 4-6, Proceedings, Part II
Loading Inventory...
Advances Visual Computing: 16th International Symposium, ISVC 2021, Virtual Event, October 4-6, Proceedings, Part II
Barnes and Noble
Current price: $89.99
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, Proceedings, Part IV
Loading Inventory...
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, Proceedings, Part IV
Barnes and Noble
Current price: $69.99
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Loading Inventory...
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Barnes and Noble
Current price: $54.99
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, Proceedings
Loading Inventory...
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, Proceedings
Barnes and Noble
Current price: $69.99
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
Loading Inventory...
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
Barnes and Noble
Current price: $54.99

Keep Shopping

on sale.jpg

On Sale

new in.jpg

New In

men.jpg

Men

women.jpg

Women

baby abd kids.jpg

Baby and Kids

beaity.jpg

Beauty

jewelry.jpg

Jewelry

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Store Info

Powered by Adeptmind