Detail Cantuman
Advanced SearchAn introduction to formal program verification
Tidak Tersedia Deskripsi
Ketersediaan
B2061718 | Tersedia | ||
B1711290 | Tersedia |
Informasi Detil
Judul Seri |
-
|
---|---|
No. Panggil |
001.642 Mil a
|
Penerbit | Van Nostrand Reindhold Company : New York., 1985 |
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