Buy books written by J. Strother Moore Available at Bookswagon
Logo1
close menu
Bookswagon
search
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
J. Strother Moore

J. Strother Moore

20 results found
Filter0Switch to Grid View
List viewGrid view
Sort By:
1.
Piton
Piton
By: J Strother Moore
Publisher: Springer
No Review Yet
AED225
Binding:
Paperback
Release:
03 Oct 2013
Language:
English
Available
Ships within 14-16 Days Explain..
2.
The Little Prover
The Little Prover
By: Duane Bibby, J Strother Moore, Daniel P. Friedman, Matthias Felleisen, Carl Eastlund
Publisher: MIT Press Ltd
4.8 (5)
AED198
Binding:
Paperback
Release:
10 Jul 2015
Language:
English
International Edition
Ships within 14-16 Days Explain..
3.
Formal Verification of Floating-Point Hardware Design
Formal Verification of Floating-Point Hardware Design
By: J Strother Moore, David M. Russinoff
Publisher: Springer Nature Switzerland AG
No Review Yet
AED381
Binding:
Paperback
Release:
25 Jan 2019
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Computer-Aided Reasoning
Computer-Aided Reasoning
By: Panagiotis Manolios, Matt Kaufmann, J Strother Moore
Publisher: Kluwer Academic Publishers
No Review Yet
AED897
Binding:
Hardback
Release:
30 Jun 2000
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Computer-Aided Reasoning
Computer-Aided Reasoning
By: Panagiotis Manolios, Matt Kaufmann, J Strother Moore
Publisher: Springer-Verlag New York Inc.
No Review Yet
AED610
Binding:
Paperback
Release:
08 Dec 2010
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Formal Verification of Floating-Point Hardware Design
Formal Verification of Floating-Point Hardware Design
By: J Strother Moore, David M. Russinoff
Publisher: Springer International Publishing AG
No Review Yet
AED362
Binding:
Hardback
Release:
22 Oct 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Piton
Piton
By: J Strother Moore
Publisher: Springer
No Review Yet
AED783
Binding:
Digital (delivered electronically)
Release:
/12/1996
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Piton
Piton
By: J Strother Moore
Publisher: Kluwer Academic Publishers
No Review Yet
AED16
Binding:
Hardback
Release:
31 Jan 1996
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
9.
Piton
Piton
By: J Strother Moore
Publisher: Springer
No Review Yet
AED88
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
10.
Introduction to Abstract Algebra
Introduction to Abstract Algebra
By: J Strother Moore
Publisher: Academic Press
No Review Yet
AED408
Binding:
Digital (delivered electronically)
Release:
01 Feb 1975
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
11.
Introduction to Abstract Algebra
Introduction to Abstract Algebra
By: J. Strother Moore
Publisher: Elsevier Science Publishing Co Inc
4.3 (8)
AED378
Binding:
Hardback
Release:
02 May 1975
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
The Little Prover
The Little Prover
By: Duane Bibby, J Strother Moore, Daniel P. Friedman, Matthias Felleisen, Carl Eastlund
Publisher: MIT Press Ltd
No Review Yet
AED133
Binding:
Digital download and online
Release:
10 Jul 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
13.
Computational Logic
Computational Logic
By: Robert S. Boyer, J. Strother Moore
Publisher: Elsevier Science Publishing Co Inc
No Review Yet
AED278
Binding:
Hardback
Release:
01 Jan 1979
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
The Correctness Problem in Computer Science
The Correctness Problem in Computer Science
By: Robert S. Boyer, J. Strother Moore
Publisher: Elsevier Science Publishing Co Inc
No Review Yet
AED132
Binding:
Hardback
Release:
28 Nov 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
The Computational Logic Handbook
The Computational Logic Handbook
By: Robert S. Boyer, J. Strother Moore
Publisher: Elsevier Science Publishing Co Inc
No Review Yet
AED54
Binding:
Hardback
Release:
28 Nov 1997
Out of Stock
Notify me when this book is in stockNotify Me
16.
Computer-Aided Reasoning
Computer-Aided Reasoning
By: Panagiotis Manolios, Matt Kaufmann, J. Strother Moore
Publisher: Kluwer Academic Publishers
No Review Yet
AED53
Binding:
Book
Release:
30 Jun 2000
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
17.
Computer-aided Reasoning
Computer-aided Reasoning
By: Panagiotis Manolios, Matt Kaufmann, J. Strother Moore
Publisher: Kluwer Academic Publishers
No Review Yet
AED86
Binding:
Hardback
Release:
31 Jul 2000
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
18.
Computer-Aided Reasoning
Computer-Aided Reasoning
By: Panagiotis Manolios, Matt Kaufmann, J. Strother Moore
Publisher: Springer-Verlag New York Inc.
No Review Yet
AED959
Binding:
Paperback
Release:
12 Oct 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
19.
Computer-Aided Reasoning
Computer-Aided Reasoning
By: Panagiotis Manolios, Matt Kaufmann, J Strother Moore
Publisher: Springer My Copy UK
No Review Yet
AED88
Binding:
Paperback
Release:
01 Jul 2000
Out of Stock
Notify me when this book is in stockNotify Me
20.
Computer-Aided Reasoning
Computer-Aided Reasoning
By: Panagiotis Manolios, Matt Kaufmann, J Strother Moore
Publisher: Springer
No Review Yet
AED88
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
No more records found