Matches in Library of Congress for { <http://lccn.loc.gov/2006935247> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2006935247 contributor B10744637.
- 2006935247 contributor B10744638.
- 2006935247 created "c2006.".
- 2006935247 date "2006".
- 2006935247 date "c2006.".
- 2006935247 dateCopyrighted "c2006.".
- 2006935247 description "Includes bibliographical references and author index.".
- 2006935247 extent "ix, 193 p. :".
- 2006935247 identifier "0769527078".
- 2006935247 identifier "9780769527079".
- 2006935247 identifier 2006935247.html.
- 2006935247 issued "2006".
- 2006935247 issued "c2006.".
- 2006935247 language "eng".
- 2006935247 publisher "Los Alamitos, Calif. : IEEE Computer Society,".
- 2006935247 subject "621.3815 22".
- 2006935247 subject "Digital integrated circuits Computer-aided design Congresses.".
- 2006935247 subject "Digital integrated circuits Design and construction Mathematics Congresses.".
- 2006935247 subject "Formal methods (Computer science) Congresses.".
- 2006935247 subject "Integrated circuits Verification Congresses.".
- 2006935247 subject "TK7874.65 .F53 2006".
- 2006935247 title "Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA / [Aarti Gupta, Panagiotis Manolios, chairs] ; IEEE Computer Society.".
- 2006935247 type "text".