Automated Technology for Verification and Analysis

Dang Hung; Mizuhito Ogawa

Automated Technology for Verification and Analysis

Dang Hung, Mizuhito Ogawa

Informasi Dasar

Automated Technology for Verification and Analysis

No. Katalog

16.21.2275

Klasifikasi

005.1

Jenis katalog

Buku - Elektronik (E-Book)

No. Rak

Abstraksi

Subjek

Subjek utama

SOFTWARE ENGINEERING

Subjek tambahan

PROGRAMMING TECHNIQUES, COMPUTER COMMUNICATION NETWORKS

Katalog

Judul

Automated Technology for Verification and Analysis

ISBN

978-3-319-02444-8

Kolasi

Bahasa

English

Sirkulasi

Harga pinjam

Rp. 0

Biaya denda

Rp. 0

Sirkulasi

Tidak

Pengarang

Nama

Dang Hung, Mizuhito Ogawa

Jenis

Perorangan

Penyunting/
Pembimbing

Alih bahasa

Penerbit

Nama

Springer International Publishing

Kota

Tahun

2013

Koleksi

Total

1 Koleksi

Tersedia

1 Koleksi

Kompetensi

Tidak ada

Download / Flippingbook

Link file

E - Book (ebook.pdf)

diunduh 39 kali

Rekomendasi

Ulasan

Belum ada ulasan yang diberikan

anda harus sign-in untuk memberikan ulasan ke katalog ini

Kembali