DaftarIsitemplate |
Call Number |
SEM-268 |
Title |
Verification in component software, Hal. 411-420 |
Author |
Rakhmad Azhari; |
Publisher |
Prosiding : Konferensi Nasional Sistem Informasi 2006, Bandung 18 Februari 2006 |
Subject |
Verifikasi, metode formal, Component software, software engineeirng, Component based development |
Location |