Browsing by Keyword Z (Computer program language)
Showing results 1 to 2 of 2
| Previews | Issue Date | Tahap Akses | Title | Author(s) |
|---|---|---|---|---|
 | 2003 | - | Mengukur kesahihan spesifikasi Z melalui pendekatan perlaksanaan bersimbol. | Marzuki Hj Mahmood; Ahmad Rizal Mohd Yusof |
 | 2002 | - | Reka bentuk alat penterjemahan : ayat bahasa tabii kepada kalkulus predikat mengikut sintaksis Z | Ainita Ban |