A programming logic : with an introduction to the PL/CV verifier
Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. Johnson
Bok Engelsk 1978 R. L. Constable
| Utgitt | Cambridge, Mass. : Winthrop , c1978
|
|---|---|
| Omfang | x, 389 s.
|
| Emner | |
| ISBN | 0876267266
|
