Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
tarafından
 
Piterman, Nir. editor.

Başlık
: 
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Yazar
: 
Piterman, Nir. editor.

ISBN
: 
9783319262871

Basım Bilgisi
: 
1st ed. 2015.

Fiziksel Tanımlama
: 
XVI, 293 p. 88 illus. in color. online resource.

Seri
: 
Programming and Software Engineering, 9434

Yazar Ek Girişi
: 
Piterman, Nir.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-319-26287-1


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap518849-1001ONLINEElektronik Kütüphane