Perpustakaan Digital
Universitas Sains dan Teknologi Komputer
(Universitas STEKOM)
BACA E-BOOK
Layanan baca e-book yang disediakan oleh Perpustakaan Universitas STEKOM
PROSES VERIFIKASI PIRANTI LUNAK BASIS DATA DENGAN LINGU DAN THEOREM PROVER HOL
Kembali ke katalog ebook
Judul
: PROSES VERIFIKASI PIRANTI LUNAK BASIS DATA DENGAN LINGU DAN THEOREM PROVER HOL
ISBN
: 978.979.1421.02.7
Bahasa
: Indonesia
DCC
:
Pengarang
: HERU SUHARTONO
Edisi
: FIKUI
Tempat Terbit
: JAKARTA
Penerbit
: FIKUI
Tahun Terbit
: 2007
Halaman
: 188