Translations of Embedded Theorems in Z Specifications
| Main Authors: | Siregar, Maria Ulfah, Derrick, John, Yazid, Ahmad Subkhan |
|---|---|
| Format: | Article info application/pdf Journal |
| Bahasa: | eng |
| Terbitan: |
Universitas Islam Negeri Sunan Kalijaga Yogyakarta
, 2016
|
| Subjects: | |
| Online Access: |
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/1570 http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/1570/1486 http://ejournal.uin-suka.ac.id/saintek/ijid/article/downloadSuppFile/1570/60 |
Internet
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/1570http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/1570/1486
http://ejournal.uin-suka.ac.id/saintek/ijid/article/downloadSuppFile/1570/60
Lokasi
| Koleksi | IJID : International Journal on Informatics for Development |
|---|---|
| Gedung | Perpustakaan UIN Sunan Kalijaga |
| Institusi | UIN Sunan Kalijaga |
| Kota | KOTA YOGYAKARTA |
| Provinsi | DAERAH ISTIMEWA YOGYAKARTA |
| Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |