J Strother Moore

J Strother Moore

9 results found
List viewGrid view
Sort By:
1.
The Little Prover29 %
Publisher: Mit Press
4.8 (5)
₹3,400
₹2,414
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
₹8,160
₹5,141
Binding:
Paperback
Release:
25 Jan 2019
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Piton37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
03 Oct 2013
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Computer-Aided Reasoning37 %
Publisher: Springer
No Review Yet
₹19,200
₹12,096
Binding:
Hardback
Release:
30 Jun 2000
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Computer-Aided Reasoning37 %
Publisher: Springer
No Review Yet
₹19,200
₹12,096
Binding:
Paperback
Release:
08 Dec 2010
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Formal Verification of Floating-Point Hardware Design27 %
Publisher: Springer
No Review Yet
₹7,760
₹5,665
Binding:
Hardback
Release:
22 Oct 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
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