No Mistake in "The Z Notation"?

Article View: comp.specification

Article #304

Back to comp.specification Previous Next

#304

From: Jim Grundy
Date: Thu, 20 Dec 1990 16:03

4 lines
718 bytes

Just a mistake in my head
Never mind, next time I'll just have a bit of a think first shall I

Jim

Technical Details

Message-ID: <1990Dec20.160343.7371@cl.cam.ac.uk>

Path:

arc1-ca.pugleaf.net!utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!clyde.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!apple!usc!wuarchive!uunet!mcsun!ukc!warwick!cam-cl!news

References: <1990Dec20.121939.2539@cl.cam.ac.uk> <1990Dec20.124927.713@cl.cam.ac.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!clyde.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!apple!usc!wuarchive!uunet!mcsun!ukc!warwick!cam-cl!news
From: jg@cl.cam.ac.uk (Jim Grundy)
Newsgroups: comp.specification
Subject: No Mistake in "The Z Notation"?
Keywords: Z
Message-ID: <1990Dec20.160343.7371@cl.cam.ac.uk>
Date: 20 Dec 90 16:03:43 GMT
References: <1990Dec20.121939.2539@cl.cam.ac.uk> <1990Dec20.124927.713@cl.cam.ac.uk>
Sender: news@cl.cam.ac.uk (The news facility)
Reply-To: jg@cl.cam.ac.uk
Organization: Cambridge Hardware Verification Group
Lines: 4

Reply to Parent Message