Proses verifikasi piranti lunak basis data dengan LINGU dan Theorem Prover Hol

---

Tidak Tersedia Deskripsi

---

Ketersediaan

B201403052

Tersedia

Informasi Detail

Judul Seri

-

No. Panggil

005.3 HER p

Penerbit

Jakarta : Lembaga Penerbit FEUI., 2007

Deskripsi Fisik

xiv+187p.illus.;23 cm

Bahasa

ISBN/ISSN

979-142-102-1

Klasifikasi

5.3

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

PROGRAMS COMPUTER

Info Detail Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus login sebelum memberikan komentar