Matches in Library of Congress for { <http://lccn.loc.gov/90010317> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 90010317 contributor B6098812.
- 90010317 contributor B6098813.
- 90010317 created "c1990.".
- 90010317 date "1990".
- 90010317 date "c1990.".
- 90010317 dateCopyrighted "c1990.".
- 90010317 extent "x, 248 p. ;".
- 90010317 identifier "0387196358 (Springer-Verlag New York Berlin Heidelberg : alk. paper)".
- 90010317 identifier "3540196358 (Springer-Verlag Berlin Heidelberg New York : alk. paper)".
- 90010317 isPartOf "Workshops in computing".
- 90010317 issued "1990".
- 90010317 issued "c1990.".
- 90010317 language "eng".
- 90010317 publisher "London ; New York : Springer-Verlag,".
- 90010317 subject "005.1/4 20".
- 90010317 subject "Computer software Testing Congresses.".
- 90010317 subject "Computer software Validation Congresses.".
- 90010317 subject "Computer software Verification Congresses.".
- 90010317 subject "Formal methods (Computer science) Congresses.".
- 90010317 subject "QA76.76.V47 W67 1989".
- 90010317 title "Formal methods for trustworthy computer systems (FM89) : report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada / Dan Craigen, editor, and Karen Summerskill, assitant editor.".
- 90010317 type "text".