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