J. Strother Moore
Born 1947-01-01
Identifiers
- Open LibraryOL455884A
Top Subjects
- Computer Science (2)
- Computers (2)
- Assembler language (Computer program language) (1)
- Programming Languages - General (1)
- Computers - Languages / Programming (1)
- Programming (1)
- Logic (1)
Books by J. Strother Moore
Total count: 3
-
PitonA Mechanically Verified Assembly-Level Language (Automated Reasoning Series)1 editionSpringer1899-12-31
Computational Logic Handbook (Academic Press International Series in Formal Methods)Academic Press1997-10-01
Computer-Aided ReasoningAn Approach (Advances in Formal Methods)1 editionSpringer2000-07-31