VDM Book (Teaching Notes)

Article View: comp.specification

Article #165

Back to comp.specification Previous Next

#165

From: Cliff Jones
Date: Tue, 14 Aug 1990 09:02

18 lines
808 bytes

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

Technical Details

Message-ID: <1574@m1.cs.man.ac.uk>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!samsung!uunet!mcsun!ukc!mucs!cliff

References: <3055@unocss.unomaha.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message