Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008485339/catalog> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- catalog contributor b11842260.
- catalog contributor b11842261.
- catalog contributor b11842262.
- catalog created "[1999]".
- catalog date "1999".
- catalog date "[1999]".
- catalog dateCopyrighted "[1999]".
- catalog description "Includes bibliographical references (p. 15-17).".
- catalog extent "25 p. :".
- catalog isPartOf "NISTIR ; 6405".
- catalog issued "1999".
- catalog issued "[1999]".
- catalog language "eng".
- catalog publisher "Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology,".
- catalog subject "Computer software Specifications.".
- catalog subject "Computer software Testing.".
- catalog title "Abstracting formal specifications to generate software tests via model checking [microform] / Paul E. Ammann, Paul E. Black.".
- catalog type "text".