Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!samsung!uunet!mcsun!ukc!mucs!cliff
From: cliff@cs.man.ac.uk (Cliff Jones)
Newsgroups: comp.specification
Subject: VDM Book (Teaching Notes)
Message-ID: <1574@m1.cs.man.ac.uk>
Date: 14 Aug 90 09:02:28 GMT
References: <3055@unocss.unomaha.edu>
Sender: news@cs.man.ac.uk
Reply-To: cliff@cs.man.ac.uk (Cliff Jones)
Organization: Department of Computer Science, University of Manchester UK
Lines: 18


Some interest has been expressed in the second edition of my book:

Systematic Software Development using VDM

The "Teaching Notes" are (at last) available from:

	Ms. Helen Martin,
	Prentice-Hall International
	Wolsey House, Wolsey Road
	Hemel Hempstead
	Hertfordshire
	HP2 4SS
	England

FAX: ++44 442-52544

cliff jones