Matches in Library of Congress for { <http://lccn.loc.gov/2002492132> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 2002492132 contributor B9440770.
- 2002492132 contributor B9440771.
- 2002492132 created "2000.".
- 2002492132 date "2000".
- 2002492132 date "2000.".
- 2002492132 dateCopyrighted "2000.".
- 2002492132 description "Includes bibliographical references.".
- 2002492132 extent "196 p. :".
- 2002492132 isPartOf "Ulmer Informatik-Berichte, 0939-5091 ; Nr. 2000-07".
- 2002492132 issued "2000".
- 2002492132 issued "2000.".
- 2002492132 language "eng".
- 2002492132 publisher "Ulm : Fakultät für Informatik, Universität Ulm,".
- 2002492132 subject "003 22".
- 2002492132 subject "Computer software Verification Congresses.".
- 2002492132 subject "QA76.9.S88 F59 2000".
- 2002492132 subject "System design Congresses.".
- 2002492132 title "FM-TOOLS 2000 : the 4th workshop on tools for system design and verification / Gerhard Schellhorn, Wolfgang Reif (eds.).".
- 2002492132 type "text".