1.
Hardware and Software: Verification and Testing: 5th International Haifa Verification Confer...
by Namjoshi, Kedar, Zeller, An...
ISBN: 9783642192364
List Price: $72.00
2.
Verification, Model Checking, and Abstract Interpretation
by Emerson, E. Allen, Namjoshi...
ISBN: 9783540697350
List Price: $79.95
3.
Automated Technology for Verification and Analysis
by Namjoshi, Kedar S. (Bell La...
ISBN: 9783540755951
List Price: $99.00
4.
Verification, Model Checking, And Abstract Interpretation 7th International Conference, Vmca...
by Namjoshi, Kedar S., Emerson...
ISBN: 9783540311393
List Price: $84.00
5.
Hardware and Software : Verification and Testing
by Namjoshi, Kedar, Zeller, An...
ISBN: 9783642192388
List Price: $24.99
OUT OF STOCK
See Availability on Amazon6.
Static Analysis : 28th International Symposium, SAS 2021, Chicago, il, USA, October 17-19, 2...
by Dragoi, Cezara, Mukherjee, ...
ISBN: 9783030888053