Automated Technology for Verification and Analysis | Ebook

Pencarian berdasarkan :

SEMUA Pengarang Subjek ISBN/ISSN Pencarian Spesifik

Pencarian terakhir:

{{tmpObj[k].text}}

Image of Automated Technology for Verification and Analysis

Penanda Bagikan

E-Book

Automated Technology for Verification and Analysis

Dang Hung - Nama Orang; Mizuhito Ogawa - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

#

Belum memasukkan lokasi Belum memasukkan lokasi

978-3-319-02443-1

Tersedia

Informasi Detail

Judul Seri: Lecture Notes in Computer Science
No. Panggil: -
Penerbit: : Springer., 2013
Deskripsi Fisik: http://dx.doi.org/10.1007/978-3-319-02444-8
Bahasa: English
ISBN/ISSN: 978-3-319-02444-8
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