Bibliographic Refs for introductory texts for Z, VDM, Lotos

Article View: comp.specification

Article #49

Back to comp.specification Previous Next

#49

From: Ira Baxter
Date: Tue, 28 Jul 1992 04:40

12 lines
892 bytes

I'd like to get bibliographic references, and people's recommendations
for introductory texts for the specification languages in the subject
line.   The texts are intended for students doing individual study.

[Perhaps there's a FAQ containing this?]

-- 
Ira Baxter   email: baxter@slcs.slb.com   ph: 1-512-331-3714
Schlumberger Laboratory for Computer Science
8311 North RR 620   [for snail mail, use PO Box 200015 instead]
Austin, Texas, 78720

Technical Details

Message-ID: <1992Jul28.044045.27703@slcs.slb.com>

Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!ut-emx!slcs.slb.com!baxter

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!ut-emx!slcs.slb.com!baxter
From: baxter@slcs.slb.com (Ira Baxter)
Newsgroups: comp.specification
Subject: Bibliographic Refs for introductory texts for Z, VDM, Lotos
Message-ID: <1992Jul28.044045.27703@slcs.slb.com>
Date: 28 Jul 92 04:40:45 GMT
Sender: news@slcs.slb.com (News Administrator)
Organization: Schlumberger Laboratory for Computer Science
Lines: 12
Nntp-Posting-Host: bandit