Validation of Evolving Software
tarafından
 
Chockler, Hana. editor.

Başlık
: 
Validation of Evolving Software

Yazar
: 
Chockler, Hana. editor.

ISBN
: 
9783319106236

Basım Bilgisi
: 
1st ed. 2015.

Fiziksel Tanımlama
: 
VIII, 220 p. 60 illus., 28 illus. in color. online resource.

İçerik
: 
Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation.

Yazar Ek Girişi
: 
Chockler, Hana.
 
Kroening, Daniel.
 
Mariani, Leonardo.
 
Sharygina, Natasha.

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

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-319-10623-6


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