Digital Apollo, by David Mindell (development of Apollo guidance and avionics generally)
The Dream Machine by Mitchell Waldrop (technical development leading up to the Arpanet, thence to the Internet)
Colossus, the secrets of Bletchley Park's codebreaking computers, by Jack Copeland et al.
Unfortunately, there's a lot more of the technically unsophisticated junk that Knuth is complaining about, and the excuses offered here rather badly miss the point. ("The history of software is not the history of computer science". Yes, and so? How does a history of software from which all technical detail has been drained away contribute anything of value?)
Let me reiterate one recommendation in particular, Mechanizing Proof, by Donald MacKenzie. This is a superb introduction to the technical subject of formal methods as well as a superb history! My only regret is that it was published in 2001 and a lot happened in the last decade.
Google is your friend and Bob's your uncle.
Worldcat indicates that the book is available from various libraries: https://www.worldcat.org/title/ignition-an-informal-history-...
The science was so good that I got a bad grade on my History class paper, because I focused too much on the science and not so much on the "storytelling" of history. Which apparently puts me in good company slongside Knuth :-)