Matches in Library of Congress for { <http://lccn.loc.gov/2009289728> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2009289728 contributor B11471753.
- 2009289728 contributor B11471754.
- 2009289728 created "c2008.".
- 2009289728 date "2008".
- 2009289728 date "c2008.".
- 2009289728 dateCopyrighted "c2008.".
- 2009289728 description "Includes bibliographical references and index.".
- 2009289728 extent "viii, 232 p. :".
- 2009289728 identifier "9781424427352".
- 2009289728 issued "2008".
- 2009289728 issued "c2008.".
- 2009289728 language "eng".
- 2009289728 publisher "Piscataway, N.J. : IEEE,".
- 2009289728 subject "621.39/2 23".
- 2009289728 subject "Digital integrated circuits Computer-aided design Congresses.".
- 2009289728 subject "Digital integrated circuits Design and construction Mathematics Congresses.".
- 2009289728 subject "Formal methods (Computer science) Congresses.".
- 2009289728 subject "Integrated circuits Verification Congresses.".
- 2009289728 subject "TK7874.65 .F53 2008".
- 2009289728 title "Formal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings / edited by Alessandro Cimatti, Robert Jones.".
- 2009289728 type "text".