Başlık:
Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Yazar:
Cimatti, Alessandro. editor.
ISBN:
9783031436819
Basım Bilgisi:
1st ed. 2023.
Fiziksel Tanımlama:
X, 260 p. 88 illus., 67 illus. in color. online resource.
Seri:
Lecture Notes in Computer Science, 14290
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-031-43681-9Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
---|---|---|---|---|---|
Arıyor... | E-Kitap | 521152-1001 | XX(521152.1) | Arıyor... | Arıyor... |