Browse
FAQ

Author

Kedar Namjoshi

5 books found

Cover of Static Analysis

Static Analysis

Cezara Dragoi, Suvam Mukherjee, Kedar Namjoshi · First published 2021

Cover of Hardware and Software

Hardware and Software

Andreas Zeller,Avi Ziv,Kedar Namjoshi · First published 2011

Cover of Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Kedar S. Namjoshi · First published 2011

Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura · First published 2007

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Kedar S. Namjoshi · First published 2005 · Latest edition 2006