Re: recommended texts

Article View: comp.specification

Article #500

Back to comp.specification Previous Next

#500

From: Roger H. Goun
Date: Tue, 06 Mar 1990 19:24

14 lines
1148 bytes

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

Technical Details

Message-ID: <8964@shlump.nac.dec.com>

Path:

arc1-ca.pugleaf.net!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

References: <10964@june.cs.washington.edu> <34462@news.Think.COM>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message