Proses verivikasi piranti lunak basis data dengan lingu dan theorem prover hol | UPT Perpustakaan Unilak

Pencarian berdasarkan :

SEMUA Pengarang Subjek ISBN/ISSN Pencarian Spesifik

Pencarian terakhir:

{{tmpObj[k].text}}

Image of Proses verivikasi piranti lunak basis data dengan lingu dan theorem prover hol

Buku

Proses verivikasi piranti lunak basis data dengan lingu dan theorem prover hol

Heru Suhartanto dkk - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

21220-LIBUNILAK-2020 005.13 HER p My Library (sirkulasi) Tersedia

Informasi Detail

Judul Seri: -
No. Panggil: 005.13 HER p
Penerbit: Jakarta : FEUI., 2007
Deskripsi Fisik: xiii, 126 hlm.; 22 cm
Bahasa
ISBN/ISSN: 978-979-1421-02-7
Klasifikasi: 005.13
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: basis data
Info Detail Spesifik: -
Pernyataan Tanggungjawab: Heru Suhartanto dkk

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

Komentar

Anda harus login sebelum memberikan komentar