Text

PROSES VERIFIKASI PIRANTI LUNAK BASIS DATA dengan LINGU dan THEOREM PROVER HOL

---

Tidak Tersedia Deskripsi

---

Ketersediaan

Tidak ada salinan data

Informasi Detail

Judul Seri

-

No. Panggil

005.71 C.1

Penerbit

Jakarta : fakultas ilmu komputer., 2007

Deskripsi Fisik

ii - xiv, 1 - 188 hlm

Bahasa

Indonesia

ISBN/ISSN

978-979-1421-02-7

Klasifikasi

NONE

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

-

Info Detail Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar