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-7 of 7)
Computer Software Verification
1
E-Books/E-Docs
 

Co-verification of hardware and software for ARM SoC design


Andrews, Jason R.
Amsterdam ; Boston : Elsevier, 2005. 2005

Rating:

Copies

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

Metamodeling-driven IP reuse for SoC integration and microprocessor design


Mathaikutty, Deepak A.
Boston ; London : Artech House, c2009. 2009

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
3
E-Books/E-Docs
 

Principles of model checking


Baier, Christel.
Cambridge, Mass. : MIT Press, 2008. 2008

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
4
E-Books/E-Docs
 

Robot framework test automation


Bisht, Sumit.
Birmingham : Packt Publishing, 2013. 2013

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
5
E-Books/E-Docs
 

The software audit guide


Helgeson, John W., 1945- author.
Milwaukee, Wisconsin : ASQ Quality Press, 2009. 2009

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
6
Print Material
 

Software verification and validation for practitioners and managers


Rakitin, Steven R.
Boston : Artech House, c2001. 2001

Rating:

 

Copies

Location Call No. OPAC Message Status
 Axe 3rd Floor Stacks  005.14 R137s 2001    ---  Available
7
E-Books/E-Docs
 

Verification of systems and circuits using LOTOS, Petri Nets, and CCS


Yoeli, Michael, 1917-
Hoboken, N.J. : Wiley-Interscience, c2008. 2008

Rating:

Copies

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