Sriram K Rajamani

Sriram K Rajamani

4 results found
List viewGrid view
Sort By:
1.
Computer Aided Verification37 %
Publisher: Springer
No Review Yet
₹9,600
₹6,048
Binding:
Paperback
Release:
24 Jun 2005
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Model Checking Software2 % NR
No Review Yet
₹4,599
₹4,507
Binding:
Paperback
Release:
12 Mar 2014
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
4.
Verified Software: Theories, Tools, ExperimentsNR
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
No more records found