Kids Library Home

Welcome to the Kids' Library!

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

Brief Display Limit/Sort Search
     
Available items only
Add Marked to Bag Add All On Page
Num Mark Subjects (1-2 of 2) Media Year
1 Computer Software Verification    
      Co-verification of hardware and software for ARM SoC design / by Jason R. Andrews. Axe Elsevier ScienceDirect Ebook:Available   Electronic Book 2005
      Metamodeling-driven IP reuse for SoC integration and microprocessor design [electronic resource] / De Axe ProQuest E-Book:Available   Electronic Book 2009
      Principles of model checking [electronic resource] / Christel Baier, Joost-Pieter Katoen. Axe ProQuest E-Book:Available   Electronic Book 2008
      Robot framework test automation / Sumit Bisht. Axe ProQuest E-Book:Available   Electronic Book 2013
2 additional entries    
2 Computer Software Verification Congresses    
      Dependable software systems engineering / edited by Maximilian Irlbeck, Doron Peled and Alexander Pre Axe ProQuest E-Book:Available   Electronic Book 2015
      Engineering dependable software systems / edited by Manfred Broy, Doron Peled and Georg Kalus. Axe ProQuest E-Book:Available   Electronic Book 2013
      Software safety and security [electronic resource] : tools for analysis and verification / edited by Axe ProQuest E-Book:Available   Electronic Book 2012
      Verification of infinite-state systems with applications to security [electronic resource] / edited b Axe ProQuest E-Book:Available   Electronic Book 2006
Add Marked to Bag Add All On Page
Brief Display Limit/Sort Search
 
    
Available items only