Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Ahmad Subkhan Yazid"'
Publikováno v:
IJID (International Journal on Informatics for Development), Vol 5, Iss 2, Pp 26-30 (2016)
This paper discusses our proposal on how to embed theorems in Z specifications. One reason behind this proposal is to ease Z users in writing theorems directly in their Z specifications. Another reason is not to overwhelm Z users in learning other la
Externí odkaz:
https://doaj.org/article/de35e8a94d004504965643392ff123ba
Publikováno v:
IJID (International Journal on Informatics for Development), Vol 5, Iss 2, Pp 26-30 (2016)
This paper discusses our proposal on how to embed theorems in Z specifications. One reason behind this proposal is to ease Z users in writing theorems directly in their Z specifications. Another reason is not to overwhelm Z users in learning other la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c98cc2dc1e28cea0dd9d56e58c0fe632
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/1570
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/1570