C-From-Scratch

Learn to build safety-critical systems in C — mathematical rigour, not 'Hello World'