Teori komposisi komponen Wishnu B. Prasetya, S.D. Swiestra dan Belawati Widjaya
Artikel Jurnal
I.S.W.B. Prasetya, author
Teori komposisi komponen
Fakultas Ilmu Komputer Universitas Indonesia, 2001
Artikel Jurnal
I.G. Rai Widjaja, author
Merancang suatu kontrak (contract drafting) : teori dan praktek / I.G. Rai Widjaya
Megapoin, 2007
Buku Teks
Embedding programming logics in HOL Theorem prover A. Azurat, I.S.W.B. Prasetya dan S.D. Sierstra
Artikel Jurnal
Sebuah framework untuk mekanisasi multi logika I.S.W.B. Prasetya, A. Azurat dan S.D. Swierstra
Artikel Jurnal
<<
1
2
3
>>