| Books 1 - 10 of 15 | Previous | Next |
|
 | | Computer-aided Reasoning: An Approach: ACL2 Case Studies Pt. 2 (Advances in Formal Methods)
by Matt Kaufmann (Editor), Panagiotis Manolios (Editor), J.Strother Moore (Editor)
Hardcover, 360 Pages, Published 2000 by Kluwer Academic Publishers
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Computational Logic (monograph series / Association for computing machinery)
by Robert S. Boyer, J.Strother Moore
Hardcover, 411 Pages, Published 1980 by Academic Press Inc
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The Computational Logic Handbook (Perspectives in Computing, Vol 23)
by Robert S. Boyer, J.Strother Moore
Hardcover, 408 Pages, Published 1989 by Academic Press Inc
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The Correctness Problem in Computer Science (International lecture series in computer science)
by Robert S. Boyer (Editor), J.Strother Moore (Editor)
Hardcover, 279 Pages, Published 1981 by Academic Press Inc
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Introduction to Abstract Algebra
by J. Strother Moore
Hardcover, 291 Pages, Published 1975 by Academic Press
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The TXDT package: Interlisp text reading primitives (Xerox, Palo Alto Research Center technical report)
by J Strother Moore
Unknown Binding, 32 Pages, Published 1981 by Xerox, Palo Alto Research Center
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Mechanically verified hardware implementing an 8-bit parallel IO Byzantine agreement processor (SuDoc NAS 1.26:189588)
by J. Strother Moore
Unknown Binding, Published 1992 by National Aeronautics and Space Administration, Langley Research Center National Technical Information Service, distributor]
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol (SuDoc NAS 1.26:4433)
by J Strother Moore
Unknown Binding, Published 1992 by National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program For sale by the National Technical Information Service]
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The INTERLISP virtual machine specification
by J Strother Moore
Unknown Binding, 131 Pages, Published 1976 by Xerox, Palo Alto Research Center
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Computational logic: Structure sharing and proof of program properties, part II (Xerox Corporation. Palo Alto Research Center. Computer Science Laboratory. Report)
by J Strother Moore
Unknown Binding, Published 1975 by Xerox Palo Alto Research Center
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 10 of 15 | Previous | Next |