Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Theoretical Computer Science and General Issues Book 11561)
Categories:
Nonfiction›Children's Nonfiction›Science, Nature & How It Works›Children's Electricity & Electronics›Nonfiction›Computers & Technology›Computer Science›Computer Simulation
Nonfiction›Medical eBooks›Physician & Patient›Diagnosis›Nonfiction›Computers & Technology›Computer Science›Computer Simulation
Nonfiction›Science›Agricultural Sciences›Irrigation›Nonfiction›Computers & Technology›Computer Science›Computer Simulation
Nonfiction›Sports›Biographies›Adventurers & Explorers›Nonfiction›Computers & Technology›Computer Science›Computer Simulation
Computers & Technology›Computer Programming›Software Design, Testing & Engineering›Software Development