Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009111947/catalog> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- catalog contributor b12833116.
- catalog contributor b12833117.
- catalog contributor b12833118.
- catalog contributor b12833119.
- catalog created "[2002]".
- catalog date "2002".
- catalog date "[2002]".
- catalog dateCopyrighted "[2002]".
- catalog description "Includes bibliographical references (p. 38-40).".
- catalog extent "40 p. :".
- catalog isPartOf "NISTIR ; 6777".
- catalog issued "2002".
- catalog issued "[2002]".
- catalog language "eng".
- catalog publisher "Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology,".
- catalog subject "Computer software Testing.".
- catalog subject "Computer systems Verification.".
- catalog title "Model checkers in software testing [microform] / Paul E. Black, Paul Ammann, Wei Ding.".
- catalog type "text".