نتائج البحث - "Logics of programs."

  • يعرض 1 - 2 نتائج من 2
تنقيح النتائج
  1. 1

    Relational analysis of algebraic datatypes. حسب Kuncak, Viktor

    الحاوية / القاعدة Software engineering notes.
    مقال


    صورة الغلاف
  2. 2

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. حسب Dingel, Juergen

    الحاوية / القاعدة Software engineering notes.
    مقال


    صورة الغلاف

أدوات البحث: