Online Public Access Catalog
Ditemukan 12 hasil di pencarian Buku
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 : 107 kali | dipinjam : 0 kali
Predator
- Wilbur Smith with Tom Cain
- Harper
- 2016
- Edisi : 1
- ISBN: 978-0-00-816890-2
- Deskripsi : 442 hal, 18 cm
Kode Buku: 251018 | Klasifikasi: 823 | Eksemplar : 1
Tersedia di 1 perpustakaan | dilihat : 100 kali | dipinjam : 0 kali