Yazar
r p kurshan
3 cilt bulundu.
Cilt sonuçları
Verification of digital and hybrid systems
R. P. Kurshan · Springer-Verlag Telos
405 sayfa · 2000
Calculateurs hybrides / Fiabilité / Congrès / Vérification / Congresses
Computer-aided verification of coordinating processes
R. P. Kurshan · Princeton University Press
270 sayfa · 1995
Computational complexity / Planning / Verification / System design / Expert systems (Computer science)
Computer-aided verification
R. P. Kurshan · Kluwer Academic Publishers
142 sayfa · 1992
Electronic digital computers / Evaluation / Verification / Computer software