Pusat Perpustakaan
Universitas Islam Negeri Maulana Malik Ibrahim Malang
Beranda
Informasi
Berita
Bantuan
Pustakawan
Area Anggota
Masuk
Pilih Bahasa :
Bahasa Arab
Bahasa Bengal
Bahasa Brazil Portugis
Bahasa Inggris
Bahasa Spanyol
Bahasa Jerman
Bahasa Indonesia
Bahasa Jepang
Bahasa Melayu
Bahasa Persia
Bahasa Rusia
Bahasa Thailand
Bahasa Turki
Bahasa Urdu
Pencarian berdasarkan :
SEMUA
Pengarang
Subjek
ISBN/ISSN
ATAU COBA
Pencarian Spesifik
Pencarian terakhir:
{{tmpObj[k].text}}
Computer Aided Verification
Hana Chockler
Georg Weissenbacher
Edisi
1st ed. 2018
ISBN/ISSN
978-3-319-96145-3
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2018
ISBN/ISSN
978-3-319-96145-3
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Computer Aided Verification
Hana Chockler
Georg Weissenbacher
Edisi
1st ed. 2018
ISBN/ISSN
978-3-319-96142-2
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2018
ISBN/ISSN
978-3-319-96142-2
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Hasil Pencarian
Ditemukan
2
dari pencarian Anda melalui kata kunci:
Pengarang :
"Georg Weissenbacher"
Permintaan membutuhkan
0,00467
detik untuk selesai
XML Result
JSON Result