Texts on algebraic specification?

Article View: comp.specification

Article #168

Back to comp.specification Previous Next

#168

From: Tim Clement
Date: Tue, 21 Aug 1990 15:57

5 lines
700 bytes

Are there any textbooks on algebraic approaches to formal specification?
(Or, indeed, anyone teaching it at an undergraduate/Masters level?)
Reply by mail and I'll summarize to the net if there's any interest.

Thanks in advance for your help.

Technical Details

Message-ID: <1610@m1.cs.man.ac.uk>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!mcsun!ukc!mucs!timc

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!mcsun!ukc!mucs!timc
From: timc@cs.man.ac.uk (Tim Clement)
Newsgroups: comp.specification
Subject: Texts on algebraic specification?
Message-ID: <1610@m1.cs.man.ac.uk>
Date: 21 Aug 90 15:57:49 GMT
Sender: news@cs.man.ac.uk
Reply-To: timc@cs.man.ac.uk (Tim Clement)
Distribution: comp
Organization: Department of Computer Science, University of Manchester UK
Lines: 5