Matches in Library of Congress for { <http://lccn.loc.gov/2006925529> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- 2006925529 alternative "Hardware verification".
- 2006925529 alternative "SFM 2006".
- 2006925529 contributor B10737451.
- 2006925529 contributor B10737452.
- 2006925529 created "c2006.".
- 2006925529 date "2006".
- 2006925529 date "c2006.".
- 2006925529 dateCopyrighted "c2006.".
- 2006925529 description "Includes bibliographical references and index.".
- 2006925529 extent "vi, 242 p. :".
- 2006925529 identifier "3540343040".
- 2006925529 identifier "9783540343042".
- 2006925529 identifier 2006925529-d.html.
- 2006925529 identifier 2006925529.html.
- 2006925529 isPartOf "Lecture notes in computer science ; 3965.".
- 2006925529 isPartOf "Lecture notes in computer science, 0302-9743 ; 3965. Tutorial".
- 2006925529 isPartOf "Lecture notes in computer science. Tutorial.".
- 2006925529 issued "2006".
- 2006925529 issued "c2006.".
- 2006925529 language "eng".
- 2006925529 publisher "Berlin ; New York : Springer,".
- 2006925529 subject "004.01/51 22".
- 2006925529 subject "Formal methods (Computer science) Congresses.".
- 2006925529 subject "Integrated circuits Verification Congresses.".
- 2006925529 subject "QA76.9.F67 I586 2006".
- 2006925529 title "Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / Marco Bernardo, Alessandro Cimatti (eds.).".
- 2006925529 title "Hardware verification".
- 2006925529 title "SFM 2006".
- 2006925529 type "text".