অনুসন্ধান ফলাফলগুলি - Dodds, Josiah

  • প্রদর্শন 1 - 1 ফলাফল এর 1
ফলাফল পরিমার্জন করুন
  1. 1
    প্রচ্ছদ

    Program logics for certified compilers. অনুযায়ী Appel, Andrew W., 1960-, Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

    প্রকাশিত 2014
    গ্রন্থ

    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:

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