Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Theorem Prover Supported Logics for Small Imperative Languages

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • Contributors:
      Ontwerp en analyse van complexe systemen; Softwaretechnologie; Dep Informatica
    • بيانات النشر:
      UU WINFI Informatica en Informatiekunde
    • الموضوع:
      2005
    • File Description:
      text/plain
    • Relation:
      https://dspace.library.uu.nl/handle/1874/24154
    • الدخول الالكتروني :
      https://dspace.library.uu.nl/handle/1874/24154
    • Rights:
      info:eu-repo/semantics/OpenAccess
    • الرقم المعرف:
      edsbas.3E4FE869