| DaftarIsitemplate |
| Call Number |
| SEM-276 |
| Title |
| Ekplorasi representasi dan verifikasi perangkat lunak berbasiskan komponen dalam F-logic, Hal. 546-550 |
| Author |
| Rakhmad Azhari; |
| Publisher |
| NACSIT 2007 : Proceedings National Conference on Computer Science & Information Technology 2007, January 28-30, 2007 |
| Subject |
| Logic programming; F-logic, component software; Software engineering; verfication |
| Location |