Electronic Resource
Computer Aided Verification
Tidak Tersedia Deskripsi
Ketersediaan
Tidak ada salinan data
Informasi Detail
- Judul Seri
-
-
- No. Panggil
-
-
- Penerbit
- : Springer International Publishing., 2022
- Deskripsi Fisik
-
Lecture Notes in Computer Science
- Bahasa
-
English
- ISBN/ISSN
-
978-3-031-13188-2
- Klasifikasi
-
-
- Tipe Isi
-
-
- Tipe Media
-
-
- Tipe Pembawa
-
-
- Edisi
-
Electronic Resource
- Subjek
- Info Detail Spesifik
-
-
- Pernyataan Tanggungjawab
-
-
Versi lain/terkait
Tidak tersedia versi lain
Lampiran Berkas
Tidak Ada Data
Komentar
Anda harus masuk sebelum memberikan komentar
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah