home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / specific / 330 < prev    next >
Encoding:
Internet Message Format  |  1992-07-27  |  869 b 
  1. Path: sparky!uunet!cs.utexas.edu!ut-emx!slcs.slb.com!baxter
  2. From: baxter@slcs.slb.com (Ira Baxter)
  3. Newsgroups: comp.specification
  4. Subject: Bibliographic Refs for introductory texts for Z, VDM, Lotos
  5. Message-ID: <1992Jul28.044045.27703@slcs.slb.com>
  6. Date: 28 Jul 92 04:40:45 GMT
  7. Sender: news@slcs.slb.com (News Administrator)
  8. Organization: Schlumberger Laboratory for Computer Science
  9. Lines: 12
  10. Nntp-Posting-Host: bandit
  11.  
  12.  
  13. I'd like to get bibliographic references, and people's recommendations
  14. for introductory texts for the specification languages in the subject
  15. line.   The texts are intended for students doing individual study.
  16.  
  17. [Perhaps there's a FAQ containing this?]
  18.  
  19. -- 
  20. Ira Baxter   email: baxter@slcs.slb.com   ph: 1-512-331-3714
  21. Schlumberger Laboratory for Computer Science
  22. 8311 North RR 620   [for snail mail, use PO Box 200015 instead]
  23. Austin, Texas, 78720
  24.