Tutfoils1.pdf (file size: 172 KB, MIME type: application/pdf)
A Brief Introduction to Z (Mathematical Notation)
Slides by Jonathan Bowen
Click on a date/time to view the file as it appeared at that time.
|current||20:35, January 22, 2010||(172 KB)||Jpbowen||Formal Specification and Documentation using Z: A Case Study Approach '''A Brief Introduction to Z (Mathematical Notation)''' Slides by Jonathan Bowen Category:Z book|