Buy books written by J Strother Moore Available at Bookswagon
J Strother Moore

J Strother Moore

8 results found
List viewGrid view
Sort By:
1.
The Little Prover
Publisher: Mit Press
4.8 (5)
AED366
Binding:
Paperback
Release:
10 Jul 2015
Language:
English
International Edition
Ships within 20-22 Days Explain..
Free Shipping in UAE.
2.
Formal Verification of Floating-Point Hardware Design
Publisher: Springer
No Review Yet
AED938
Binding:
Paperback
Release:
25 Jan 2019
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
3.
Piton
Publisher: Springer
No Review Yet
AED583
Binding:
Paperback
Release:
03 Oct 2013
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
5.
Computer-Aided Reasoning
Publisher: Springer
No Review Yet
AED2,170
Binding:
Hardback
Release:
30 Jun 2000
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
6.
Formal Verification of Floating-Point Hardware Design
Publisher: Springer
No Review Yet
AED863
Binding:
Hardback
Release:
22 Oct 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Piton
Publisher: Springer
No Review Yet
AED1,031
Binding:
Hardback
Release:
31 Jan 1996
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Computer-Aided Reasoning
Publisher: Springer
No Review Yet
AED3,313
Binding:
Hardback
Release:
30 Jun 2000
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found