Matches in Library of Congress for { <http://lccn.loc.gov/2007935533> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2007935533 contributor B11064998.
- 2007935533 contributor B11064999.
- 2007935533 contributor B11065000.
- 2007935533 created "c2007.".
- 2007935533 date "2007".
- 2007935533 date "c2007.".
- 2007935533 dateCopyrighted "c2007.".
- 2007935533 description "Includes bibliographical references and author index.".
- 2007935533 extent "xi, 244 p. :".
- 2007935533 identifier "0769530230".
- 2007935533 identifier "9780769530239".
- 2007935533 issued "2007".
- 2007935533 issued "c2007.".
- 2007935533 language "eng".
- 2007935533 publisher "Las Alamotos, Calif. : IEEE Computer Society,".
- 2007935533 subject "621.3815 22".
- 2007935533 subject "Digital integrated circuits Computer-aided design Congresses.".
- 2007935533 subject "Digital integrated circuits Design and construction Mathematics Congresses.".
- 2007935533 subject "Formal methods (Computer science) Congresses.".
- 2007935533 subject "Integrated circuits Verification Congresses.".
- 2007935533 subject "TK7874.65 F53 2007".
- 2007935533 title "Formal methods in computer-aided design : FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas, / [Jason Baumgartner, Mary Sheeran, chairs] ; IEEE Computer Society.".
- 2007935533 type "text".