Non-Fiction, Computing & Technology, Computing Basics & Reference
Computer Aided Verification

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

,
Paperback Published on: 18/07/2021
£34.99
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.
View other formats and editions

Publisher information

  • Publisher: Springer Nature Switzerland AG
  • ISBN: 9783030816841
  • Number of pages: 922
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews