Yazar
robert p kurshan
3 cilt bulundu.
Cilt sonuçları
Computer-Aided Verification of Coordinating Processes
Robert P. Kurshan · Princeton University Press
284 sayfa · 2014
Manufacturing processes, data processing / Computational complexity / Expert systems (computer science) / System design