dc.contributor.author | Mohd Nazri Yaakub | |
dc.date.accessioned | 2016-05-24T02:28:49Z | |
dc.date.available | 2016-05-24T02:28:49Z | |
dc.date.issued | 2003 | |
dc.identifier.uri | http://hdl.handle.net/123456789/4581 | |
dc.description.abstract | Objektif utama adalah untuk mengenalpasti teori dan konsep kaedah formal dan menghasilkan spesifikasi formal bagi sistem yang dibangunkan | en_US |
dc.language.iso | other | en_US |
dc.publisher | Terengganu: Kolej Universiti Sains dan Teknologi Malaysia | en_US |
dc.subject | LP 20 FST 5 2003 | en_US |
dc.subject | Mohd Nazri Yaakub | en_US |
dc.subject | Laporan Projek FST 2003 | en_US |
dc.title | Simulasi kawalan udara dengan kaedah formal | en_US |
dc.type | Working Paper | en_US |