Name: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
Price: 1300000 IRR
Availability: InStock
ISBN: 9783031377051

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

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

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I | کنستانتین انئا | کتابن

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

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

دربارهٔ این عنوان

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

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

Facebook Me!: A Guide to Having Fun With Your Friends and Promoting Your Projects on Facebook

Grace Hopper: Queen of Computer Code

Product Management's Sacred Seven: The Skills Required to Crush Product Manager Interviews and be a World-Class PM