Personal tools
You are here: Home → VSR → Private → VerifiedByConstruction → supplementary-materials → cxc → Formal Method Course Introduction
Navigation
Log in


Forgot your password?
New user?
 
Document Actions

Formal Method Course Introduction

A draft introduction to a course on formal methods by J.-R. Abrial. This is intended to give others an idea of what his approach is.

Click here to get the file

Size 54.3 kB - File type application/pdf
by Gary T. Leavens — last modified 2005-12-14 22:30
« January 2009 »
Su Mo Tu We Th Fr Sa
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
What's up ?
Be notified when a document is published in this folder or below.
 
Powered by Plone, the Open Source Content Management System

This site conforms to the following standards: