Ownership and Immutability in Coq الإنجليزية (Q3500462)
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 الإنجليزية
publisher الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
title الإنجليزية
language of work or name الإنجليزية
instance of الإنجليزية
country of origin الإنجليزية
copyright status الإنجليزية
author الإنجليزية
Julian Mackay الإنجليزية
object named as الإنجليزية
Mackay, Julian
١ مراجع
Imported from Wikidata item الإنجليزية
main subject الإنجليزية