Matches in Library of Congress for { <http://lccn.loc.gov/2007922183> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2007922183 contributor B11055487.
- 2007922183 contributor B11055488.
- 2007922183 created "c2007.".
- 2007922183 date "2007".
- 2007922183 date "c2007.".
- 2007922183 dateCopyrighted "c2007.".
- 2007922183 description "Includes bibliographical references and index.".
- 2007922183 extent "xxix, 326 p. :".
- 2007922183 identifier "0387691669 (hbk.)".
- 2007922183 identifier "9780387691664 (hbk.)".
- 2007922183 identifier 2007922183-d.html.
- 2007922183 identifier 2007922183-t.html.
- 2007922183 isPartOf "Series on integrated circuits and systems".
- 2007922183 issued "2007".
- 2007922183 issued "c2007.".
- 2007922183 language "eng".
- 2007922183 publisher "New York : Springer Science+Business Media,".
- 2007922183 subject "621.3815/48 22".
- 2007922183 subject "Integrated circuits Verification.".
- 2007922183 subject "TK7874.58 .G36 2007".
- 2007922183 title "SAT-based scalable formal verification solutions / Malay Ganai, Aarti Gupta.".
- 2007922183 type "text".