recommended texts

Article View: comp.specification

Article #498

Back to comp.specification Previous Next

#498

From: dm Dave Mankins
Date: Mon, 05 Mar 1990 04:02

5 lines
500 bytes

I would appreciate recommendations of texts or articles which are good
introductions to the Vienna Development Method or Z.
--
david mankins (dm@think.com)

Technical Details

Message-ID: <34462@news.Think.COM>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!think!.com

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!think!.com
From: dm@.com (Dave Mankins)
Newsgroups: comp.specification
Subject: recommended texts
Message-ID: <34462@news.Think.COM>
Date: 5 Mar 90 04:02:14 GMT
Sender: news@Think.COM
Organization: Thinking Machines Corporation, Cambridge, Massachusetts
Lines: 5