Yazar
Robert Kurshan
4 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
Computer-Aided Verification
Robert Kurshan · Springer US
142 sayfa · 1993
Systems engineering / Engineering / Computer-aided design / Computer engineering / Integrated circuits
Verification of Digital and Hybrid Systems
M. Kemal Inan, Robert P. Kurshan · Springer London, Limited
405 sayfa · 2000
Operating systems (computers)