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
> Resources

Formal Methods, Informally How to Write Programs That Work

Resources

Download all unlocked resources zip, 329 kB
These online resources offer additional content for instructors and/or students that support enhanced teaching and learning outcomes and can be accessed online or downloaded for offline reading. Whilst many of our online resources are freely available, some of them are only available to instructors and will be identifiable by the padlock symbol appearing next to the resource or folder.
 

These resources are currently locked and are provided as teaching aids to validated instructors only. Access to a digital or physical textbook does not automatically enable access to the instructor resources.

Log in to request access to these resources.

Guide to resource requests
1
Log in to your account
2
Update your account to an Instructor status
3
Request access to locked resources
4
Track the progress of your request in My Account.
Guide to resource requests
1
Log in to your account
2
Update your account to an Instructor status
3
Request access to locked resources
4
Track the progress of your request in My Account.

Instructor Resources (6)

    Answers to all drills and exercises.pdf

    • Share

    Assignments, mini-projects and quizzes

    • Share

    Extra material for the curious

    • Share

    Figures-JPEG format

    • Share

    Figures-PPT format

    • Share

    Morgan_Figure credit list.docx

    • Share