Reset Filters
Circulation Type: Reference Circulation Collection

Author Results for Moore, J Strother, 1947

Boyer,Robert S
Elsevier Science & Technology
Kaufmann,Matt
Manolios,Panagiotis
Moore,J Strother
see all »
Moore,J Strother,
Robert S. Boyer and J Strother Moore
Robert S. Boyer, J Strother Moore
by Matt Kaufmann, Panagiotis Manolios, J Strother Moore
edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore

1
Formal verification of floating-point hardware design : a mathematical approach /

Cover is for reference only
Main Authors: Russinoff, David, 1948
Group Author: Moore, J Strother, 1947
Published: Springer,
Publication Dates: [2019]
Call Number: TP301.6/R969
Book
Save to List
Saved in:
2
Computer-aided reasoning ACL2 case studies

Cover is for reference only
Group Author: Kaufmann Matt.; Manolios Panagiotis.; Moore J Strother, 1947-
Published: Kluwer Academic Publishers,
Publication Dates: c2000.
Call Number: TP301.6-3/K215
Book
Save to List
Saved in:
3
Computer-aided reasoning an approach

Cover is for reference only
Main Authors: Kaufmann Matt.
Group Author: Manolios Panagiotis.; Moore J Strother, 1947-
Published: Kluwer Academic Publishers,
Publication Dates: c2000.
Call Number: TP301.6-3/K215
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —