Teks

Formal Methods Of Program Verification And Specification

---

Koleksi Buku Pustaka Pusat Unand

---

Ketersediaan

92001007503

001.642 5 FOR

Ruang Cadangan - Sayap Kiri Lantai 2

Tersedia - Peminjaman Terbatas

Informasi Detail

Judul Seri

-

No. Panggil

001.642 5 FOR

Penerbit

New Jersey : Prentice Hall International,Inc., 1982

Deskripsi Fisik

xiv, 207 hal : ill; 22 cm.

Bahasa

English

ISBN/ISSN

-

Klasifikasi

1.642

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

Program Komputer
Program Verification

Info Detail Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus login sebelum memberikan komentar