Online Public Access Catalog
Ditemukan 2 hasil di pencarian Buku
Teknik digital
- Ibrahim KF
- ANDI
- 1991
- Edisi : 2
- ISBN: 979-731-508-8
- Deskripsi : ix, 235 hlm. : ind. ; 23 cm
Kode Buku: 210170 | Klasifikasi: 621.39 | Eksemplar : 12
Tersedia di 5 perpustakaan | dilihat : 305 kali | dipinjam : 0 kali
Formal verification : an essential toolkit for modern vlsi design
- Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar
- MK Morgan Kaufmann
- 2015
- Edisi : -
- ISBN: 978-0-12-800727-3
- Deskripsi : xi, 353 hal. , 29.5 cm
Kode Buku: 240451 | Klasifikasi: 004.167 | Eksemplar : 2
Tersedia di 2 perpustakaan | dilihat : 99 kali | dipinjam : 0 kali