A programming logic : with an introduction to the PL/CV verifier
Author(s)
Bibliographic Information
A programming logic : with an introduction to the PL/CV verifier
Winthrop Publishers, c1978
Available at / 27 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
CON||175||1||複本2507026
-
University of Tsukuba Library, Library on Library and Information Science
007.64-C8640801018230
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 370-381
Includes index