close menu
Bookswagon-24x7 online bookstore
close menu
My Account
J Strother Moore

J Strother Moore

17 results found
List viewGrid view
Sort By:
1.
The Little Prover30 %
Publisher: MIT Press Ltd
4.8 (5)
₹3,500
₹2,450
Binding:
Paperback
Release:
10 Jul 2015
Language:
English
Available
Ships within 4-6 Days Explain..
2.
Formal Verification of Floating-Point Hardware Design37 %
No Review Yet
₹9,307
₹5,863
Binding:
Paperback
Release:
25 Jan 2019
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Piton36 %
Publisher: Springer
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
03 Oct 2013
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Computer-Aided Reasoning37 %
No Review Yet
₹21,899
₹13,796
Binding:
Hardback
Release:
30 Jun 2000
Language:
English
Available
Ships within 22-24 Days Explain..
5.
Computer-Aided Reasoning37 %
No Review Yet
₹21,899
₹13,796
Binding:
Paperback
Release:
08 Dec 2010
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Introduction to Abstract Algebra25 % NR
Publisher: Academic Press
No Review Yet
₹4,450
₹3,338
Binding:
Digital (delivered electronically)
Release:
01 Feb 1975
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Formal Verification of Floating-Point Hardware Design37 %
No Review Yet
₹9,023
₹5,684
Binding:
Hardback
Release:
22 Oct 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Piton
Publisher: Springer
No Review Yet
₹19,568
Binding:
Digital (delivered electronically)
Release:
/12/1996
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
9.
Piton
No Review Yet
₹7,729
Binding:
Hardback
Release:
31 Jan 1996
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
The Computational Logic Handbook
No Review Yet
₹6,447
Binding:
Hardback
Release:
28 Nov 1997
Out of Stock
Notify me when this book is in stockNotify Me
11.
The Little Prover
Publisher: MIT Press Ltd
No Review Yet
₹3,309
Binding:
Digital download and online
Release:
10 Jul 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Computer-Aided Reasoning
No Review Yet
₹2,201
Binding:
Paperback
Release:
01 Jul 2000
Out of Stock
Notify me when this book is in stockNotify Me
13.
Computer-Aided Reasoning
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
14.
Computer-aided Reasoning
No Review Yet
₹23,956
Binding:
Hardback
Release:
31 Jul 2000
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
16.
Computer-Aided Reasoning2 % NR
No Review Yet
₹24,971
₹24,448
Binding:
Paperback
Release:
12 Oct 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
17.
Computer-Aided ReasoningNR
No Review Yet
₹29,389
Binding:
Book
Release:
30 Jun 2000
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA