VDM course

Article View: comp.specification

Article #31

Back to comp.specification Previous Next

#31

From: Ian Cottam
Date: Mon, 10 Aug 1992 15:16

7 lines
910 bytes

It looks highly likely that we will run our VDM module (worth one credit
towards the Modular MSc in software engineering) the week of 14-18th Sept 92.
Please email me for details (special rates for academics).
-- 
Ian Cottam, Room IT209, Department of Computer Science,
University of Manchester, Oxford Road, Manchester, M13 9PL, U.K.
TEL (+44) 61-275 6157 FAX (+44) 61-275-6236 EMAIL ian@cs.man.ac.uk

Technical Details

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

Path:

arc1-ca.pugleaf.net!sparky!uunet!wupost!zaphod.mps.ohio-state.edu!malgudi.oar.net!caen!sol.ctr.columbia.edu!eff!snorkelwacker.mit.edu!bloom-beacon!eru.mt.luth.se!lunic!sunic!mcsun!uknet!mucs!ian@cs.man.ac.uk

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!wupost!zaphod.mps.ohio-state.edu!malgudi.oar.net!caen!sol.ctr.columbia.edu!eff!snorkelwacker.mit.edu!bloom-beacon!eru.mt.luth.se!lunic!sunic!mcsun!uknet!mucs!ian@cs.man.ac.uk
From: ian@cs.man.ac.uk (Ian Cottam)
Newsgroups: comp.specification
Subject: VDM course
Keywords: formal method, VDM, Mural, MSc module
Message-ID: <5652@m1.cs.man.ac.uk>
Date: 10 Aug 92 15:16:08 GMT
Sender: news@cs.man.ac.uk
Reply-To: ian@cs.man.ac.uk (Ian Cottam)
Distribution: eunet
Lines: 7