J Strother Moore
3 published titles
Piton : a mechanically verified assembly-level language
1 edition
- ISBN: 0792339207
- Kluwer Academic Publishers
- 1996
- Details
Computer-aided reasoning : an approach
(Contributor)
1 edition
- ISBN: 0792377443
- Kluwer Academic
- 2000
- Details
Computer-aided reasoning : ACL2 case studies
(Contributor)
1 edition
- ISBN: 0792378490
- Kluwer Academic
- 2000
- Details
