Bibliographic Refs for introductory texts for Z, VDM, Lotos

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Ira Baxter Tue, 28 Jul 1992 04:40

#49

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads