Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Prodi S1 Teknik Informatika

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Dillig, Isil - Nama Orang; Tasiran, Serdar - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

Electronic Resource Belum memasukkan lokasi

EP9783030255435

Tersedia

Informasi Detail

Judul Seri: -
No. Panggil: -
Penerbit: : Springer Nature., 2019
Deskripsi Fisik: -
Bahasa: ENGLISH
ISBN/ISSN: 978-3-030-25543-5
Klasifikasi: NONE
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: SOFTWARE ENGINEERING
ARTIFICIAL INTELLIGENCE
Info Detail Spesifik: http://library.oapen.org/handle/20.500.12657/23324
Pernyataan Tanggungjawab: -

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

LINK

Komentar

Anda harus masuk sebelum memberikan komentar