Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings için kapak resmi
Başlık:
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Yazar:
Biondi, Fabrizio. editor.
ISBN:
9783030309237
Basım Bilgisi:
1st ed. 2019.
Fiziksel Tanımlama:
X, 261 p. 605 illus., 41 illus. in color. online resource.
Seri:
Theoretical Computer Science and General Issues ; 11636
Tüzel Kişi Ek Girişi:
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
E-Kitap 486937-1001 ONLINE
Arıyor...

On Order