You may like "The Secret Life of Programs" by Jonathan Steinhart. It starts at boolean logic and works up to a web browser and then some other stuff. Edit: It

You may like "The Secret Life of Programs" by Jonathan Steinhart. It starts at boolean logic and works up to a web browser and then some other stuff. Edit: It's a high level covering of each topic of course, it does have to fit in a book. It's ~444 pages.