NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
tarafından
 
Havelund, Klaus. editor.

Başlık
: 
NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Yazar
: 
Havelund, Klaus. editor.

ISBN
: 
9783319175249

Basım Bilgisi
: 
1st ed. 2015.

Fiziksel Tanımlama
: 
XIII, 458 p. 115 illus. online resource.

Seri
: 
Programming and Software Engineering, 9058

Yazar Ek Girişi
: 
Havelund, Klaus.
 
Holzmann, Gerard.
 
Joshi, Rajeev.

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

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-319-17524-9


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