Amazon cover image
Image from Amazon.com

Formal verification: an essential toolkit for modern VLSI design/ by Erik Seligman, Tom Schubert and M V Achutha Kiran Kumar

By: Material type: TextPublication details: London Elsevier c2023Description: xix, 405p.: illISBN:
  • 9780323956123
Subject(s): DDC classification:
  • 621.3815
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Books Kauma Branch Library General Collection Non Fiction 621.3815 SEL (Browse shelf(Opens below)) Available 0199510

There are no comments on this title.

to post a comment.
Previous
Back to results
Next
Close