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