Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Cezara Dragoi, Michael Emmi, Jingbo Wang

Informasi Dasar

Dilihat

18 kali

No. Katalog

24.21.896

Klasifikasi

004

Jenis katalog

Buku - Elektronik (E-Book)

No. Rak

1

Abstraksi

Subjek

Subjek utama

COMPUTER SCIENCE

Subjek tambahan

 

Katalog

Judul

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

ISBN

978-3-031-24950-1

Kolasi

389p.: pdf file.; 17 MB

Bahasa

English

Sirkulasi

Harga pinjam

Rp. 0

Biaya denda

Rp. 0

Sirkulasi

Tidak

Pengarang

Nama

Cezara Dragoi, Michael Emmi, Jingbo Wang

Jenis

Perorangan

Penyunting/
Pembimbing

 

Alih bahasa

 

Penerbit

Nama

Springer Cham

Kota

New York

Tahun

2023

Koleksi

Total

1 Koleksi

Tersedia

1 Koleksi

Kompetensi

Tidak ada

 

Download / Flippingbook

Link file

E - Book (ebook.pdf)

belum pernah diunduh

Rekomendasi

 

Ulasan

Belum ada ulasan yang diberikan

anda harus sign-in untuk memberikan ulasan ke katalog ini

• Kembali