The Australian National University
College of Engineering and Computer Science
Research School of Computer Science
COMP2600 - 2006
Home
Description
Lectures
Tutorials
Assignments
Schedule
Exams
Assessment
Text Books
Context
Current COMP2600
Other Years
Quick Links
ANU Home
CECS Home
RSCS Home
Search
Printer Friendly Version of this Document
Formal Methods for Software Engineering - COMP2600

COMP2600: Formal Methods for Software Engineering

The 2006 Archive

Lost Page

The handbook descriptions of courses from 2006 are no longer available on-line.
Please direct all enquiries to: comp2600@cs.anu(.edu.au)
Page authorised by Head of RSCS
The Australian National University — CRICOS Provider Number 00120C