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