Pic related is the best intro for coq outside of notes from ÉNS.
That book doesn't aim to do anything close to the books you mentioned. It's a glorified hello world tutorial - more appropriate alternative is real world haskell.
Post the best books (max 3) for a specific topic
Juan Richardson
Isaiah Powell
The comfiest book I've ever read.
Wyatt Barnes
This annoys the brainlet, fags and soyboys
Cooper Ortiz
"""""Hard Way"""""
Some worst books even write.
Jackson Adams
Free legal link, autor page.
adam.chlipala.net
Jaxon Price
+1 triggered soyboy
Asher Campbell
I've read some chapters of both. Unfortunately I had to stop learning c++ to learn c# instead, but the books are nice
Jaxon Baker
Connor Moore
Just because it's called "hard" doesn't mean it's good. Or hard. His python might have been good when he first published it, but he shouldn't ever mention the C book to anyone if he wants to be taken seriously.
King's C for millenials, for pretentious idiots who don't mind using outdated techniques and finally, the standard for people who actually want to learn C.
Charles Wright
Make your power rankings for Computer book publishing series or companies:
>Great Tier
O'Reilly (animal series)
Developer's Library
>Good Tier
Manning's
No Starch (OS books)
Pragmatic Programmers
>Mediocre Tier
Honestly, most textbooks
Apress
No Starch (Programming books)
Wrox Press
>Garbage Tier
Springer (there are several; but all of them are pure evil that should shunned as much as possible)
O'Reilly (Head First)
Sams (X in N U | X = language/technology, N = some positive integer, U = some unit of time)
For Dummies
Complete Idiot's Guide
>Kill Yourself Tier
No Starch (Manga books) - not good manga and won't get jack shit about the subject it teaches. Also ,