Name: Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Price: 1500000 IRR
Availability: InStock
ISBN: 9783030532918

کتابِن پلاس کتابخانه من

در حال بارگذاری…

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II | شووندو کی. لاهیری | کتابن

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

درباره این کتاب

کتاب‌های مشابه

Dictionary of Computer and Internet Terms

Upgrade Your Life: The Lifehacker Guide to Working Smarter, Faster, Better

Digital Zettelkasten: Principles, Methods, & Examples

The Fires: How a Computer Formula, Big Ideas, and the Best of Intentions Burned Down New York City-and Determined the Future of Cities

Ada Byron Lovelace & the Thinking Machine

Black Inventors, Crafting Over 200 Years of Success