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:
Constable, R. L.
O'Donnell, Michael J. / Johnson, Scott D.
Cambridge, Mass. : Winthrop Publishers, 1978.
x, 389 p.
Includes index
englisch
0876267266
9780876267264

ZB
Open Stacks Call Number: B 048435'01' Barcode: 1079005835 Available