home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / specific / 326 < prev    next >
Encoding:
Text File  |  1992-07-23  |  1.4 KB  |  33 lines
  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!sun-barr!cs.utexas.edu!zaphod.mps.ohio-state.edu!menudo.uh.edu!lobster!siswat!buck
  3. From: buck@siswat.hou.tx.us (Lester Buck)
  4. Subject: Re: SPIN tool enquiry
  5. Message-ID: <1992Jul24.030012.11549@siswat.hou.tx.us>
  6. Organization: Photon Graphics, Houston
  7. References: <1992Jul21.055416.29097@nuscc.nus.sg>
  8. Date: Fri, 24 Jul 1992 03:00:12 GMT
  9. Lines: 22
  10.  
  11. In article <1992Jul21.055416.29097@nuscc.nus.sg> cheeyong@kolmogoroff.iss.nus.sg (Lim Chee Yong) writes:
  12. >I am looking for more information about the SPIN tool. Anybody
  13. >who knows about this tool, and where I can ftp the source, please 
  14. >send the info to me by e-mail.
  15. >
  16. >Chee-Yong Lim,
  17.  
  18. SPIN is listed in the book "Design and Validation of Computer Protocols"
  19. (or something similar) from Prentice-Hall by an author (Holzman?) from
  20. Bell Labs.  If you don't want to type it all in, the AT&T Toolchest will
  21. license an electronic copy to you for $300.  (I think that is
  22. outrageous, by the way, even though my client bought a copy.  Other
  23. software books sell their source code on disk for $25 or so.)
  24.  
  25. If you can FTP it from anywhere, it is probably an illegal copy.  I
  26. suppose if you bought the book, you could type it in an share it with
  27. others who had bought the book, but that is a legal question.
  28.  
  29. But if you find it for anon FTP, please let me know. :-)
  30.  
  31. -- 
  32. A. Lester Buck   buck@siswat.hou.tx.us   ...!uhnix1!siswat!buck
  33.