DaftarIsitemplate |
Call Number |
SEM-271 |
Title |
Validasi perangkat lunak dengan metode hybrid berbasis UML, Hal. 276-280 |
Author |
M. Sukrisno Mardiyanto; |
Publisher |
Prosiding Konferesi Nasional e-Idnonesia Initiatives 2006: Teknologi Informasi & Komunikasi untuk Indonesia, Bandung 3-4 Mei 2006 |
Subject |
Validari perangkat lunak, metode formal, UML, Petri Net, bahasa Z |
Location |