home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / software / 3414 < prev    next >
Encoding:
Text File  |  1992-09-10  |  682 b   |  20 lines
  1. Newsgroups: comp.software-eng
  2. Path: sparky!uunet!cis.ohio-state.edu!mum.cis.ohio-state.edu!holly
  3. From: holly@mum.cis.ohio-state.edu (Joe Hollingsworth)
  4. Subject: Z references
  5. Message-ID: <1992Sep10.124810.29166@cis.ohio-state.edu>
  6. Sender: news@cis.ohio-state.edu (NETnews        )
  7. Organization: The Ohio State University Dept of Computer & Information Science
  8. Date: Thu, 10 Sep 1992 12:48:10 GMT
  9. Lines: 9
  10.  
  11.  
  12. I'm in need of references to Z.  I've been writing specifications
  13. in another specification language and would like to take a shot
  14. at re-writing them in Z.  I'm not at all familiar with Z so I would
  15. appreciate references to works that supply examples.
  16.  
  17. Thanks in advance,
  18.  
  19. Joe
  20.