computer aided verification part 1
Save

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part I

$56.30
Product Details
Author: Shuvendu K. Lahiri, Chao Wang | Publisher: Springer | Publication Date: Jul 16, 2020 | Number of Pages: 688 pages | Language: English | Binding: Paperback | ISBN-10: 3030532879 | ISBN-13: 9783030532871
LibroWorld
LibroWorld.com
137.4k followers