Matches in Library of Congress for { <http://lccn.loc.gov/97017153> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 97017153 contributor B8043493.
- 97017153 created "c1997.".
- 97017153 date "1997".
- 97017153 date "c1997.".
- 97017153 dateCopyrighted "c1997.".
- 97017153 description "Includes bibliographical references.".
- 97017153 extent "xiv, 293 p. :".
- 97017153 identifier "3540620079".
- 97017153 identifier 97017153-d.html.
- 97017153 identifier 97017153-t.html.
- 97017153 isPartOf "Research reports ESPRIT. Project 6128, FORMAT ; v. 1".
- 97017153 issued "1997".
- 97017153 issued "c1997.".
- 97017153 language "eng".
- 97017153 publisher "Berlin ; New York : Springer,".
- 97017153 subject "621.39/2 21".
- 97017153 subject "Computer hardware description languages.".
- 97017153 subject "Digital integrated circuits Design and construction Methodology.".
- 97017153 subject "Formal methods (Computer science)".
- 97017153 subject "Logic circuits Design and construction Methodology.".
- 97017153 subject "TK7874.65 .P73 1997".
- 97017153 title "Practical formal methods for hardware design / C. Delgado Kloos, W. Damm (Eds.).".
- 97017153 type "text".