The Z Formal Specification Language

Article View: comp.sys.mac

Article #6776

#6776

From: M.Imperato
Date: Thu, 19 Oct 1989 12:33

19 lines
826 bytes

From: Michael Imperato <M.Imperato@uk.ac.ucl.cs>


Is there anyone out there who has tried to print a Z document from a Mac
onto a Laserwriter?

I am having problems finding a font which contains the weird and wonderful
symbols used in Z. Can anyone help?

Thanks.

Michael Imperato,
(M.Imperato@ucl-cs.uucp)
(M.Imperato@uk.ac.ucl.cs   JANET)

Department of Computer Science,
University College London,
Gower Street,
LONDON WC1E 6BT.

Technical Details

Message-ID: <446@ucl-cs.UUCP>

Path:

arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!tut.cis.ohio-state.edu!bloom-beacon!eru!luth!sunic!mcsun!ukc!kl-cs!nott-cs!ucl-cs!M.Imperato

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!tut.cis.ohio-state.edu!bloom-beacon!eru!luth!sunic!mcsun!ukc!kl-cs!nott-cs!ucl-cs!M.Imperato
From: M.Imperato@ucl-cs.UUCP
Newsgroups: comp.sys.mac
Subject: The Z Formal Specification Language
Message-ID: <446@ucl-cs.UUCP>
Date: 19 Oct 89 12:33:52 GMT
Sender: M.Imperato@ucl-cs.UUCP
Lines: 19