Başlık:
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Yazar:
Larsen, Kim Guldstrand. editor.
ISBN:
9783030270087
Basım Bilgisi:
1st ed. 2019.
Fiziksel Tanımlama:
XV, 161 p. 156 illus., 33 illus. in color. online resource.
Seri:
Programming and Software Engineering ; 11687
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-030-27008-7Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 484028-1001 | ONLINE | Arıyor... | Arıyor... |