Matches in Library of Congress for { <http://lccn.loc.gov/78010650%2F%2Fr863> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 78010650%2F%2Fr863 contributor B3258605.
- 78010650%2F%2Fr863 contributor B3258606.
- 78010650%2F%2Fr863 created "c1978.".
- 78010650%2F%2Fr863 date "1978".
- 78010650%2F%2Fr863 date "c1978.".
- 78010650%2F%2Fr863 dateCopyrighted "c1978.".
- 78010650%2F%2Fr863 description "Bibliography: p. 370-381.".
- 78010650%2F%2Fr863 extent "x, 389 p. ;".
- 78010650%2F%2Fr863 identifier "0876267266".
- 78010650%2F%2Fr863 issued "1978".
- 78010650%2F%2Fr863 issued "c1978.".
- 78010650%2F%2Fr863 language "eng".
- 78010650%2F%2Fr863 publisher "Cambridge, Mass. : Winthrop Publishers,".
- 78010650%2F%2Fr863 subject "001.6/42".
- 78010650%2F%2Fr863 subject "Computer programs Testing.".
- 78010650%2F%2Fr863 subject "Logic, Symbolic and mathematical.".
- 78010650%2F%2Fr863 subject "PL/CV (Computer program language)".
- 78010650%2F%2Fr863 subject "QA76.73.P252 C66".
- 78010650%2F%2Fr863 title "A programming logic : with an introduction to the PL/CV verifier / Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. Johnson.".
- 78010650%2F%2Fr863 type "text".