PERPUSTAKAAN UNIVERSITAS NUSA MANDIRI
DETAIL BUKU
Kode Buku : 200075
Kode Klasifikasi : 004
Judul Buku : Formal verification : an essential toolkit for modern vlsi design
Edisi : -
Penulis : Seligman, Erik, Tom Schubert dan M V Achutha Kiran Kumar
Penerbit : Morgan Kaufmann
Bahasa : Inggris
Tahun : 2015
ISBN : 978-0-12-800727-3
Tajuk Subjek : Ilmu komputer
Deskripsi : xvii, 353 hlm. ; ind. , ill. ; 30 cm
Eksemplar : 7
Stok : 7
Petugas Input : Ricky Sediawan, SS, MM
Terkait Subjek Buku yang sama

TENTANG PERPUSTAKAAN

PERPUSTAKAAN UNIVERSITAS NUSA MANDIRI


E-Library Perpustakaan Universitas Nusa Mandiri adalah gerbang literasi digital akademika. Nikmati akses tanpa batas ke ribuan koleksi buku, jurnal ilmiah, dan e-book terpercaya. Kapan saja, di mana saja.


INFORMASI

Alamat : Jln. Jatiwaringin Raya No.02 RT08 RW 013 Kelurahan Cipinang Melayu Kecamatan Makassar Jakarta Timur

Telp : +6285697936989

Email : perpustakaan@nusamandiri.ac.id

IG : nusamandiri.library

Jam Operasional
Senin - Jumat : 08.00 s/d 21.00 WIB
Isitirahat Siang : 12.00 s/d 13.00 WIB
Istirahat Sore : 18.00 s/d 19.00 WIB

LINK LAIN

e-Journal

Repository

e-Learning

e-Library

© 2026 | Perpustakaan Universitas Nusa Mandiri. All rights reserved.