Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005349220/catalog> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- catalog contributor b7550026.
- catalog contributor b7550027.
- catalog contributor b7550028.
- catalog created "1994.".
- catalog date "1994".
- catalog date "1994.".
- catalog dateCopyrighted "1994.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "viii, 362 p. :".
- catalog hasFormat "Formal design methods for CAD.".
- catalog identifier "0444819703".
- catalog isFormatOf "Formal design methods for CAD.".
- catalog isPartOf "IFIP transactions. B, Applications in technology, 0926-5481 ; B-18".
- catalog issued "1994".
- catalog issued "1994.".
- catalog language "eng".
- catalog publisher "Amsterdam ; New York : Elsevier,".
- catalog relation "Formal design methods for CAD.".
- catalog subject "620/.0042/0285 20".
- catalog subject "Computer-aided design Congresses.".
- catalog subject "TA174 .I1319 1994".
- catalog title "Formal design methods for CAD : proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 194 / edited by John S. Gero, Enn Tyugu.".
- catalog type "Conference proceedings. fast".
- catalog type "text".