Text

Applied Formal Verification

---

Tidak Tersedia Deskripsi

---

Ketersediaan

102000250

005.14 PER a

Perpustakaan Pusat UIN

Tersedia

Informasi Detail

Judul Seri

-

No. Panggil

005.14 PER a

Penerbit

New York : McGraw-Hill., 2005

Deskripsi Fisik

xiv,225 p.:ill.;24 cm

Bahasa

English

ISBN/ISSN

0-07-14437

Klasifikasi

005.14

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Tahun

2005

Edisi

-

Subjek

VERIFICATION-PROGRAMMING

Info Detail Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

URl Source

Komentar

---

Anda harus login sebelum memberikan komentar