Separation Logic and Abstraction الإنجليزية (Q4610951)
scientific article الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | Separation Logic and Abstraction |
scientific article |
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
title الإنجليزية
language of work or name الإنجليزية
author الإنجليزية
published in الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
ACM SIGPLAN Notices الإنجليزية
publication date الإنجليزية
يناير 2005http://data.marefa.org/entity/Q1985727
volume الإنجليزية
40
page(s) الإنجليزية
247-258
١ مراجع
Imported from Wikidata item الإنجليزية