Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!mucs!r8a!brianm
From: brianm@r8a.man.ac.uk (Brian Monahan)
Newsgroups: comp.specification
Subject: Re: Is VDM case studies book out yet?
Keywords: VDM, Case studies
Message-ID: <1540@m1.cs.man.ac.uk>
Date: 31 Jul 90 17:09:54 GMT
References: <10667@lindy.Stanford.EDU>
Sender: news@cs.man.ac.uk
Reply-To: brianm@r8a.man.ac.uk (Brian Monahan)
Organization: University of Manchester
Lines: 15

Yes, it's certainly available in the UK.  I got my copy soon after
publication either January or Feburary from my local book store.  I
don't understand what this rumour of a "printing error" is all about -
it's a new one on me!  Perhaps your book suppliers have their wires crossed ...

//////////////////////////////////////////////////////////////////////////////
                                    /
   Dr. Brian Monahan                /
                                    /
   Department of Computer Science   /   Janet : brianm@uk.ac.man.cs
   The University of Manchester	    /           bqm@uk.ac.man.cs
   Oxford Road			    /   Phone : (+44)-61-275-6137
   Manchester M13 9PL		    /   FAX   : (+44)-61-275-6280
                                    /
//////////////////////////////////////////////////////////////////////////////