Re: wanted: books/paper on formal methods

Article View: comp.specification

Article #120

Back to comp.specification Previous Next

#120

From: Martin Weigele
Date: Sun, 30 Aug 1992 23:28

14 lines
958 bytes

In article <3977@sol.deakin.OZ.AU> cjc@cm.deakin.OZ.AU (Chris Coomber) writes:
> --------------------
> Could someone please tell me the title of a good introductory book and/or
> journal paper on formal methods, in particular, on first order logic from
> a software specification viewpoint.

Caroll Morgan, Programming from Specifications, Prentice Hall, 1990

Perhaps "introductory" is a relative statement...

-- 
Martin Weigele, Kapellenweg 32, D-W-5300 Bonn 2
phone +49 228 333252 home, +49 228 9866385 office
email: martin@weigele.de

Technical Details

Message-ID: <1992Aug30.232845.1529@weigele.de>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!Germany.EU.net!unidui!flyer!easix!dino.dinoco.de!mgwbnnx!martin

References: <3977@sol.deakin.OZ.AU>

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!Germany.EU.net!unidui!flyer!easix!dino.dinoco.de!mgwbnnx!martin
From: martin@weigele.de (Martin Weigele)
Subject: Re: wanted: books/paper on formal methods
Message-ID: <1992Aug30.232845.1529@weigele.de>
Sender: martin@weigele.de
Organization: M. Weigele
References: <3977@sol.deakin.OZ.AU>
Date: Sun, 30 Aug 1992 23:28:45 GMT
Lines: 14

Reply to Parent Message