Verification, Model Checking, and Abstract Interpretation

Pencarian berdasarkan :

SEMUA Pengarang Subjek ISBN/ISSN Pencarian Spesifik

Pencarian terakhir:

Image of Verification, Model Checking, and Abstract Interpretation

E-Book

Verification, Model Checking, and Abstract Interpretation

Roberto Giacobazzi - Nama Orang; Josh Berdine - Nama Orang; Isabella Mastroeni - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

Belum memasukkan lokasi Belum memasukkan lokasi

978-3-642-35872-2

Tersedia

Informasi Detail

Judul Seri: Lecture Notes in Computer Science
No. Panggil: -
Penerbit: Springer Berlin Heidelberg : Springer., 2013
Deskripsi Fisik: http://dx.doi.org/10.1007/978-3-642-35873-9
Bahasa: English
ISBN/ISSN: 978-3-642-35873-9
Klasifikasi: LNCS
Edisi: -
Subjek
Info Detail Spesifik: -

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

Tidak Ada Data

Komentar

Anda harus masuk sebelum memberikan komentar