Skip to main content Accessibility help
Internet Explorer 11 is being discontinued by Microsoft in August 2021. If you have difficulties viewing the site on Internet Explorer 11 we recommend using a different browser such as Microsoft Edge, Google Chrome, Apple Safari or Mozilla Firefox.

Tip: Use " " for exact phrase matches (e.g. "Economic History")

Search results

Showing 1-2 of 2 results
Keyword: programming
  • Textbook
  • Undergraduate

Formal Methods, Informally

How to Write Programs That Work
Thumbnail for Formal Methods, Informally, How to Write Programs That Work
Author: Carroll Morgan, University of New South Wales, Sydney
Publication date: 19 February 2026
View resources
  • Textbook
  • Undergraduate
Thumbnail for Foundations of MATLAB Programming for Behavioral Sciences, With Applications
Author: Maxwell Mansolf, Northwestern University, Illinois
Publication date: 07 August 2025
View resources