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
Verification of Digital and Hybrid Systems
M. Kemal Inan, Robert P. Kurshan · Springer London, Limited
405 sayfa · 2000
Operating systems (computers)