We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Computer Aided Verification

Computer Aided Verification

- 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

part of the Lecture Notes in Computer Science series

part of the Theoretical Computer Science and General Issues series

Computer Aided Verification Save 13% from RPP Save 13%
  • Language:
  • English
  • ISBN:
  • 9783030532871
  • Binding:
  • Paperback
  • Pages:
  • 669
  • Published:
  • July 15, 2020
  • Edition:
  • 12020
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 1038 g.
Delivery: 2-4 weeks
Expected delivery: February 9, 2025

User ratings of Computer Aided Verification



Others also bought..
Find similar books
The book Computer Aided Verification can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.