Object-Z references wanted

Article View: comp.specification

Article #443

Back to comp.specification Previous Next

#443

From: Chris Flatters
Date: Fri, 07 Jun 1991 23:05

10 lines
798 bytes

Could someone point me towards a description (or descriptions) of
object-Z, please.



-- 
======================================================================
Chris Flatters                  |  cflatter@nrao.edu
AIPS Scientific Programmer      |
======================================================================

Technical Details

Message-ID: <1991Jun7.230503.3804@zia.aoc.nrao.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!uakari.primate.wisc.edu!unmvax!nmt.edu!zia.aoc.nrao.edu!cflatter

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!uakari.primate.wisc.edu!unmvax!nmt.edu!zia.aoc.nrao.edu!cflatter
From: cflatter@zia.aoc.nrao.edu (Chris Flatters)
Newsgroups: comp.specification
Subject: Object-Z references wanted
Message-ID: <1991Jun7.230503.3804@zia.aoc.nrao.edu>
Date: 7 Jun 91 23:05:03 GMT
Sender: cflatter@zia.aoc.nrao.edu (Chris Flatters)
Organization: National Radio Astronomy Observatory, Socorro NM
Lines: 10