No image available for this title

An introduction to formal program verification



Tidak Tersedia Deskripsi


Ketersediaan

B2061718Tersedia
B1711290Tersedia

Informasi Detil

Judul Seri
-
No. Panggil
001.642 Mil a
Penerbit Van Nostrand Reindhold Company : New York.,
Deskripsi Fisik
xi, 291 hlm, 22 cm
Bahasa
ISBN/ISSN
978-0-442-26322-5
Klasifikasi
1.642
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
-
Subyek
-
Info Detil Spesifik
-
Pernyataan Tanggungjawab

Versi lain/terkait

Tidak tersedia versi lain




Informasi


DETAIL CANTUMAN


Kembali ke sebelumnya