Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues Book 12224)
Categories:
Nonfiction›Biographies & Memoirs›Historical›Military & Wars›Nonfiction›Computers & Technology›Tech Culture & Computer Literacy›Online Services
Computers & Technology›Computer Programming›Software Design, Testing & Engineering›Software Development
