Le Coq'Art

par Yves Bertot et Pierre Castéran

Book •

Mentioned by

Recommended by

Julien Verlaguet

as a book that greatly influenced him when he was younger, providing insights into creating systems where program correctness can be proven.

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!