From Tests to ProofExplores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.
Scientific Computing EssentialsCovers algorithmic thinking, Python programming, numerical methods, and essential computing concepts for scientific computing.