Verification, model checking, and abstract interpretation | PERPUSTAKAAN UNIVERSITAS KATOLIK PARAHYANGAN

Pencarian berdasarkan :

Pencarian terakhir:

Text

Verification, model checking, and abstract interpretation

Attie, Paul C. - Nama Orang; Zuck, Lenora D. - Nama Orang; Cortesi, Agostino - Nama Orang; Mukhopadhyay, Supratik - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

Barcode		Tipe Koleksi	Nomor Panggil	Lokasi	Status
91877	BR - FTIS	Tandon	005.14 VER	Gdg9-Lt2	Tersedia
93524	FC - FTIS	Buku	005.14 VER	Gdg9-Lt2	Tersedia

Informasi Detail

Judul Seri: Lecture Notes in Computer Science no. 2575
No. Panggil: 005.14 VER
Penerbit: Berlin, German : Springer Verlag., 2003
Deskripsi Fisik: xi, 323 p. : ill. ; 23 cm.
Bahasa: English
ISBN/ISSN: 3-540-00348-7
Klasifikasi: 005.14
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: VERIVICATIONS
Info Detail Spesifik: -
Pernyataan Tanggungjawab: Eds. : Lenore D. Zuck, Paul C. Atie, Agostino Cortesi, Supratik Mukhopadhyay

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

Tidak Ada Data

Komentar

Anda harus masuk sebelum memberikan komentar