Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II: 12225 (Lecture Notes in Computer Science)
by Shuvendu K. Lahiri,Chao Wang
ISBN 13: 9783030532901
Format: Paperback (704 pages) Publisher: Springer Published: 16 Jul 2020
Save for later
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I: 12224 (Lecture Notes in Computer Science, 12224)
ISBN 13: 9783030532871
Format: Paperback (686 pages) Publisher: Springer Published: 16 Jul 2020
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
