External Embedding: Sebuah Metode untuk Verifikasi Program  

Oleh:

Azurat, Ade

Jenis: Article from Journal - ilmiah nasional - tidak terakreditasi DIKTI - non-atma jaya
Dalam koleksi: Jurnal Sistem Informasi MTI-UI vol. 1 no. 1 (Sep. 2005), page 70.
Topik: metode formal; program verifikasi; rekayasa perangkat lunak

Ketersediaan

Perpustakaan Pusat (Semanggi) Nomor Panggil: JJ7 Non-tandon: 1 (dapat dipinjam: 0) Tandon: tidak ada

Lihat Detail Induk

Opini Anda

Klik untuk menuliskan opini Anda tentang koleksi ini!

Kembali