Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Com...

Compute! Machine Language for Beginners Richard Mansfield

The World Upside Down Isabelle

Isabelle/HOL: A Proof Assistant for Higher-Order Logic Lecture Notes in Computer

Digital Control System Design (The ^AOxford Series in Electrical and Compute...

Beginner's Step-By-Step Coding Course: Learn Compute...

Compute! Machine Language for Beginners by Richard Mansfield 1983

The Future Does Not Compute: Transcending - hardcover, 1565920856, Steve Talbott