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.
Home
> Subjects
> Formal Methods, Informally

Formal Methods, Informally How to Write Programs That Work

Authors

Carroll Morgan
, University of New South Wales, Sydney
Published 2026

Description

Learn to program more effectively, faster, with better results… and enjoy both the learning experience and the benefits it ultimately brings. While this undergraduate-level textbook is motivated by formal methods, so encouraging habits that lead to correct and concise computer programs, its informal presentation sidesteps any rigid reliance on formal logic which programmers are sometimes led to believe is required. Instead, a straightforward and intuitive use of simple 'What's true here?' comments encourages precision of thought without prescription of notation.…

  • Get access
  • Add bookmark
  • Export citation
  • Share
Resources available Unlock the full potential of this textbook with additional resources. There are free resources and Instructor restricted resources available for this textbook. Explore resources

Key features

  • Teaches the principles and practice of Formal Methods - but without requiring Formal Logic or Discrete Mathematics as a prerequisite
  • Introduces the conceptual tools step-by-step, as they are needed
  • Presents numerous examples in Python, including many extremely simple ones, so that principles of the systematic approach are not obscured by the complexity of the programs themselves
  • Develops example programs both in the 'conventional' style and in the style of the book, allowing students to see the advantages of a more systematic –but still informal– approach
  • Online extras include a full solutions manual and example mini-projects

Keywords

About the book

Access options

Review the options below to login to check your access.

Purchase options

There are no purchase options available for this title.

Have an access code?

To redeem an access code, please log in with your personal login.

Log in

If you believe you should have access to this content, please contact your institutional librarian or consult our FAQ page for further information about accessing our content.

Also available to purchase from these educational ebook suppliers