A Programming logic : with an introduction to the PL/CV verifier / Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. Johnson.
Saved in:
Personal Name(s): | Constable, R. L. |
---|---|
O'Donnell, Michael J. / Johnson, Scott D. | |
Imprint: |
Cambridge, Mass. :
Winthrop Publishers,
1978.
|
Physical Description: |
x, 389 p. |
Note: |
Includes index englisch |
ISBN: |
0876267266 9780876267264 |
Subject (ZB): | |
Classification: |
ZB | |
---|---|
Open Stacks Call number: B 048435'01' Barcode: 1079005835 Available |