Coverart for item
The Resource Formal verification of hardware design, edited by Michael Yoeli

Formal verification of hardware design, edited by Michael Yoeli

Label
Formal verification of hardware design
Title
Formal verification of hardware design
Statement of responsibility
edited by Michael Yoeli
Creator
Subject
Member of
Series statement
IEEE Computer Society Press tutorial
Formal verification of hardware design, edited by Michael Yoeli
Label
Formal verification of hardware design, edited by Michael Yoeli
Publication
Note
  • 'IEEE catalog number: 90EH0319-4.'
  • 'SAN 264-620X.'
  • 'IEEE Computer Society Press order number 2017.'
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references and index
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9780818690174&userID=ebsco-test&password=ebsco-test
Dimensions
29 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1214088'}
Extent
ix, 326 p.
Isbn
9780818690174
Isbn Type
(case)
Lccn
90-45248
Other physical details
ill.

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...