Re: Is VDM case studies book out yet?

Article View: comp.specification

Article #154

Back to comp.specification Previous Next

#154

From: Cliff Jones
Date: Tue, 31 Jul 1990 06:44

8 lines
733 bytes

I can't remember exactly when it came out but it is definately
available here in the UK book stores - please let me know if you are
having trouble in the US and I'll chase the publisher.

In case it helps, here is the ISBN: 0-13-116088-5

cliff jones

Technical Details

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

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

References: <10667@lindy.Stanford.EDU>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!mucs!cliff
From: cliff@cs.man.ac.uk (Cliff Jones)
Newsgroups: comp.specification
Subject: Re: Is VDM case studies book out yet?
Message-ID: <1536@m1.cs.man.ac.uk>
Date: 31 Jul 90 06:44:18 GMT
References: <10667@lindy.Stanford.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: 8

Reply to Parent Message