Yazar
Kedar Namjoshi
6 cilt bulundu.
Cilt sonuçları
Verification, Model Checking, and Abstract Interpretation
Kedar S. Namjoshi, Andreas Podelski · Springer London, Limited
395 sayfa · 2005
Computer Programming / Computers / Computers - General Information / Computer Books: General / Logic Design
Verification, Model Checking, and Abstract Interpretation (vol. # 3855)
Kedar S. Namjoshi · Springer
443 sayfa · 2006
Logic design / Computer science / Software engineering / Computer programs / Congresses
Hardware and Software: Verification and Testing
Kedar S. Namjoshi · Springer Berlin Heidelberg
Sayfa sayısı yok · 2011
Logic design / Computer science / Software engineering / Computer input-output equipment / Software architecture
Automated Technology for Verification and Analysis
Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura · Springer London, Limited
Sayfa sayısı yok · 2007
Kategori yok