pop up description layer
Last modified: 20080809:082009/added cross-linking via doc numbers

FIT3013 AJH-2008-02

Documents Page

Web Documents

Date Published Number Document Name
2008062400 Home Page
2008062401 Unit Outline
2008062402 Web Documents
2008062403 Teaching and learning Methods
2008063004 Unit Resources
2008070705 Lectures
2008070706 Learning Module 1: Introduction
2008070707 Learning Module 2: Review of Set Theory
2008080808 Tutorials
2008080809 Assessment
2008080810 Assignment 1 index page
2008080811 Assignment 1
2008080812 Timetables
2008080813 Unit Contacts
2008081014 Discussion
2008081315 Discussion Topic 1
2008081316 Discussion Topic 2
2008082017 Assignment 2
2008083018 Learning Module 3: Abstract Machines
2008083019 Learning Module 4: Formal Definitions of Relations
2008083020 Learning Module 5: Library Case Study
2008083021 Learning Module 6: Refinement - The Square Root Machine
2008090222 Learning Module 7: The Mathematics of Substitutions
2008090223 Learning Module 8: Semantics of Event-B
2008090224 Learning Module 9: More Refinement - The Bridge Problem
2008092425 Discussion Topic 3
2008092426 Discussion Topic 4
2008100827 Learning Module 10: Refinement Revisited

Document History

20080809:082009 7.0.1 ajh added cross-linking via doc numbers
20080624:223203 7.0.0 ajh first version for 2008
This page maintained by John Hurst.
Copyright Monash University Copyright Policy
222 accesses since
20 Aug 2008
My PhotoTrain Photo

Generated at 20090706:0317 from an XML file modified on 20081014:1407
Maintainer use only; not generally accessible: Local ServerWork ServerCSSE Server

284 accesses since 20 Aug 2008, HTML cache rendered at 20091122:2018