Yazar
Dragan Bosnacki
2 cilt bulundu.
Cilt sonuçları
Model Checking Software
Dragan Bošnački, Anton Wijs · Springer London, Limited
260 sayfa · 2016
Computer software, verification / Computer simulation
Yükleniyor
Yükleniyor
Yazar
2 cilt bulundu.
Dragan Bošnački, Anton Wijs · Springer London, Limited
260 sayfa · 2016
Computer software, verification / Computer simulation