Article View: comp.specification.z
Article #106Re: Obj-Orien. Z, was: HERE'S A GOOD INTRO. TEXT
From: Charles Herrick
Date: Fri, 28 Jun 1991 14:53
Date: Fri, 28 Jun 1991 14:53
11 lines
1002 bytes
1002 bytes
In article <2193@uqcspe.cs.uq.oz.au> thomo@cs.uq.oz.au (John Thomas) writes: Perhaps you might be interested in Object-Z. The object-oriented version of Z developed here at the University of Queensland. Oh, please, tell us more, tell us more!!! (;-] seriously... -- "I am walking on the wire and the wire is what the whole thing is about." -- John Stewart
Technical Details
Message-ID:
<CNH5730.91Jun28095316@calvin.tamu.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!helios!cnh5730References:
<2161@uqcspe.cs.uq.oz.au> <richard.677975691@mungarra> <1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu> <2193@uqcspe.cs.uq.oz.au>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!helios!cnh5730 From: cnh5730@calvin.tamu.edu (Charles Herrick) Newsgroups: comp.specification.z Subject: Re: Obj-Orien. Z, was: HERE'S A GOOD INTRO. TEXT Message-ID: <CNH5730.91Jun28095316@calvin.tamu.edu> Date: 28 Jun 91 14:53:16 GMT References: <2161@uqcspe.cs.uq.oz.au> <richard.677975691@mungarra> <1991Jun27.042414.7381@mlb.semi.harris.com> <7559@vela.acs.oakland.edu> <2193@uqcspe.cs.uq.oz.au> Sender: usenet@helios.TAMU.EDU Organization: Texas A&M University Lines: 11 In-reply-to: thomo@cs.uq.oz.au's message of 28 Jun 91 00:25:43 GMT