Ownership and Immutability in Coq الإنجليزية (Q3500462)

من Marefa data
2013 master's thesis by Julian Mackay at Victoria University of Wellington الإنجليزية
اللغة التسمية الوصف أسماء أخرى
العربية
لم تُضف التسمية
لا يوجد وصف
    الإنجليزية
    Ownership and Immutability in Coq
    2013 master's thesis by Julian Mackay at Victoria University of Wellington

      بيانات

      Wikidata item الإنجليزية
      ٠ مرجع
      publication date الإنجليزية
      ١ يناير 2013http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      publisher الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      title الإنجليزية
      Ownership and Immutability in Coq (الإنجليزية)
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      language of work or name الإنجليزية
      instance of الإنجليزية
      country of origin الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      author الإنجليزية
      Julian Mackay الإنجليزية
      object named as الإنجليزية
      Mackay, Julian
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      main subject الإنجليزية
      object named as الإنجليزية
      Java
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      object named as الإنجليزية
      Programming languages
      ١ مراجع
      Imported from Wikidata item الإنجليزية