DaftarIsitemplate

Call Number

T-1210 (Softcopy T-918) Source code -297 Mak T-020

Title

Formalisasi algoritma aritmatika dan konstruksi terkait pada VHDL dengan HOL theorem prover

Author

Dwi Teguh Priyantini;

Publisher

Depok: Fasilkom UI, 2017

Subject

Location

FASILKOM-UI;