SlanC: A Speci?cation language for computable Contracts
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | masterThesis |
| منشور في: |
2020
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://eprints.kfupm.edu.sa/id/eprint/140794/1/SlanC_A_Specification_Language_for_Computable_Contracts.pdf |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| _version_ | 1868869869724762112 |
|---|---|
| author | unknown |
| author_facet | unknown |
| author_role | author |
| dc.creator.*.fl_str_mv | unknown |
| dc.date.*.fl_str_mv | 2020 |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://eprints.kfupm.edu.sa/id/eprint/140794/1/SlanC_A_Specification_Language_for_Computable_Contracts.pdf SlanC: A Speci?cation language for computable Contracts. Masters thesis, King Fahd University of Petroleum and Minerals. |
| dc.language.none.fl_str_mv | en |
| dc.relation.none.fl_str_mv | https://eprints.kfupm.edu.sa/id/eprint/140794/ |
| dc.rights.*.fl_str_mv | info:eu-repo/semantics/openAccess |
| dc.subject.none.fl_str_mv | Computer |
| dc.title.none.fl_str_mv | SlanC: A Speci?cation language for computable Contracts |
| dc.type.none.fl_str_mv | Thesis NonPeerReviewed info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis |
| eu_rights_str_mv | openAccess |
| format | masterThesis |
| id | KFUPM_d0f9a46defbfc50dfd229e91a767a67e |
| identifier_str_mv | SlanC: A Speci?cation language for computable Contracts. Masters thesis, King Fahd University of Petroleum and Minerals. |
| language_invalid_str_mv | en |
| network_acronym_str | KFUPM |
| network_name_str | King Fahd University of Petroleum and Minerals |
| oai_identifier_str | oai:eprints.kfupm.edu.sa:140794 |
| publishDate | 2020 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| spelling | SlanC: A Speci?cation language for computable ContractsComputerThesisNonPeerReviewedinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://eprints.kfupm.edu.sa/id/eprint/140794/1/SlanC_A_Specification_Language_for_Computable_Contracts.pdf SlanC: A Speci?cation language for computable Contracts. Masters thesis, King Fahd University of Petroleum and Minerals. enhttps://eprints.kfupm.edu.sa/id/eprint/140794/2020info:eu-repo/semantics/openAccessunknownoai:eprints.kfupm.edu.sa:1407942026-06-23T11:24:35Z |
| spellingShingle | SlanC: A Speci?cation language for computable Contracts unknown Computer |
| status_str | publishedVersion |
| title | SlanC: A Speci?cation language for computable Contracts |
| title_full | SlanC: A Speci?cation language for computable Contracts |
| title_fullStr | SlanC: A Speci?cation language for computable Contracts |
| title_full_unstemmed | SlanC: A Speci?cation language for computable Contracts |
| title_short | SlanC: A Speci?cation language for computable Contracts |
| title_sort | SlanC: A Speci?cation language for computable Contracts |
| topic | Computer |
| url | https://eprints.kfupm.edu.sa/id/eprint/140794/1/SlanC_A_Specification_Language_for_Computable_Contracts.pdf |