This looks like a great course+book: The elements of computing systems.

The Elements of Computing Systems

The Elements of Computing Systems