Re: References to 'Z' specification language

Article View: comp.specification

Article #182

Back to comp.specification Previous Next

#182

From: Antoni Diller <DillerAR>
Date: Wed, 05 Sep 1990 11:01

7 lines
629 bytes

The best book on Z by far is:

Antoni Diller
Z: An Introduction to Formal Methods
Chichester, Wiley, 1990
ISBN 0 471 92489 X

Technical Details

Message-ID: <993@christopher-robin.cs.bham.ac.uk>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!warwick!nott-cs!christopher-robin.cs.bham.ac.uk!ard

References: <592@bohra.cpg.oz> <1990Sep3.091105.10514@axion.bt.co.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!warwick!nott-cs!christopher-robin.cs.bham.ac.uk!ard
From: ard@cs.bham.ac.uk (Antoni Diller <DillerAR>)
Newsgroups: comp.specification,comp.software-eng
Subject: Re: References to 'Z' specification language
Message-ID: <993@christopher-robin.cs.bham.ac.uk>
Date: 5 Sep 90 11:01:28 GMT
References: <592@bohra.cpg.oz> <1990Sep3.091105.10514@axion.bt.co.uk>
Organization: Birmingham University, England
Lines: 7

Reply to Parent Message