Model Checking Software

Ezio Bartocci, C. R. Ramakrishnan

Informasi Dasar

22 kali
16.21.2352
005.1
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5 : Rak 2
Tel-U Purwokerto : Rak 1

Subjek

SOFTWARE ENGINEERING
PROGRAMMING LANGUAGES

Katalog

Model Checking Software
978-3-642-39176-7
 
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Ezio Bartocci, C. R. Ramakrishnan
Perorangan
 
 

Penerbit

Springer Berlin Heidelberg
 
2013

Koleksi

1 Koleksi
1 Koleksi

Kompetensi

 

Download / Flippingbook

diunduh 48 kali
 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini