Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Add Marked to Bag Add All On Page
Subjects (1-2 of 2)
Electronic Circuits Testing
1
E-Book/E-Doc
 

Formal verification : an essential toolkit for modern VLSI design


Seligman, Erik.
Amsterdam : Elsevier Science, 2015. 2015

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
2
E-Book/E-Doc
 

Formal verification : an essential toolkit for modern VLSI design


Seligman, Erik, author.
Cambridge, MA : Morgan Kaufmann, [2023] 2023

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
Add Marked to Bag Add All On Page
Locate in results
 
    
Available items only