Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!uakari.primate.wisc.edu!dogie.macc.wisc.edu!decwrl!shlump.nac.dec.com!loiosh.enet.dec.com!goun
From: goun@loiosh.enet.dec.com (Roger H. Goun)
Newsgroups: comp.specification
Subject: Re: recommended texts
Message-ID: <8964@shlump.nac.dec.com>
Date: 6 Mar 90 19:24:27 GMT
References: <10964@june.cs.washington.edu> <34462@news.Think.COM>
Sender: newsdaemon@shlump.nac.dec.com
Reply-To: goun@ddif.enet.dec.com
Organization: Digital Equipment Corporation
Lines: 14


Formal Methods:  Theory and Practice, P.N. Scharbach, ed., Information
Technology 
Research Unit, BP Research Centre, Sunbury-on-Thames, U.K., CRC Press,
1989, ISBN 
0-8493-7140-6.

Would anyone who has read this book care to comment on it?

UUCP:     ...!decwrl!ddif.enet!goun             Roger H. Goun
Internet: goun@ddif.enet.dec.com                Digital Equipment Corporation
          goun%ddif.enet@decwrl.dec.com         110 Spit Brook Road, ZKO2-2/O23
                                                Nashua, NH 03062 USA
                                                +1 603 881 0022