Formal System Verification State-of the-Art and Future Trends
tarafından
 
Drechsler, Rolf. editor.

Başlık
: 
Formal System Verification State-of the-Art and Future Trends

Yazar
: 
Drechsler, Rolf. editor.

ISBN
: 
9783319576855

Basım Bilgisi
: 
1st ed. 2018.

Fiziksel Tanımlama
: 
XVI, 182 p. 71 illus., 49 illus. in color. online resource.

Konu Terimleri
: 
Systems engineering.
 
Computer science.
 
Electronics.

Yazar Ek Girişi
: 
Drechsler, Rolf.

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

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-319-57685-5


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