J Strother Moore

J Strother Moore

9 results found
List viewGrid view
Sort By:
1.
Little Prover25 %
Publisher: Mit Press
4.8 (5)
₹3,300
₹2,475
Binding:
Paperback
Release:
10 Jul 2015
Language:
English
Available
Ships within 4-6 Days Explain..
2.
Formal Verification of Floating-Point Hardware Design37 %
Publisher: Springer
No Review Yet
₹7,973
₹5,023
Binding:
Paperback
Release:
25 Jan 2019
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Formal Verification of Floating-Point Hardware Design27 %
Publisher: Springer
No Review Yet
₹7,760
₹5,665
Binding:
Hardback
Release:
22 Oct 2018
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Piton37 %
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
03 Oct 2013
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Computer-Aided Reasoning37 %
Publisher: Springer
No Review Yet
₹18,760
₹11,819
Binding:
Hardback
Release:
30 Jun 2000
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Computer-Aided Reasoning37 %
Publisher: Springer
No Review Yet
₹18,760
₹11,819
Binding:
Paperback
Release:
08 Dec 2010
Language:
English
Available
Ships within 12-14 Days Explain..
8.
PitonNR
Publisher: Springer
No Review Yet
₹8,800
Binding:
Hardback
Release:
31 Jan 1996
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
9.
Computer-Aided ReasoningNR
Publisher: Springer
No Review Yet
₹28,924
Binding:
Hardback
Release:
30 Jun 2000
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found