প্রদর্শন 1 - 1 ফলাফল এর 1 অনুসন্ধানের জন্য 'Dykstra, Josiah', জিজ্ঞাসা করার সময়: 0.01সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1

    Software verification and validation with destiny a parallel approach to automated theorem proving. অনুযায়ী Dykstra, Josiah

    প্রকাশিত Crossroads : the ACM student magazine.
    প্রবন্ধ

    Software verification and validation with destiny a parallel approach to automated theorem proving.

অনুসন্ধান সাধনীগুলি: