Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Your session will expire automatically in
0
seconds.
Continue session
End session now
Brief Display
Limit/Sort Search
SearchType
Keyword
Author
Title
Subject
Call Number
Search
Search Scope
PSU Library Consortium
Pittsburg State University
Academic Libraries
Public Libraries
Pittsburg Area
Unified School District
Leonard H. Axe Library
Career Resource Center Library
Eureka Public Library
Fort Scott Community College Library
George Nettels Elementary School Library
Kansas Technology Center Library
Lakeside Elementary School Library
Meadowlark Elementary School Library
Parsons Public Library
Pittsburg Community Middle School Library
Pittsburg High School Library
Pittsburg Public Library
Sedan Public Library
Westside Elementary School Library
Childrens Collection
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
2005
Metamodeling-driven IP reuse for SoC integration and microprocessor design [electronic resource] / De
Axe ProQuest E-Book:Available
2009
Principles of model checking [electronic resource] / Christel Baier, Joost-Pieter Katoen.
Axe ProQuest E-Book:Available
2008
Robot framework test automation / Sumit Bisht.
Axe ProQuest E-Book:Available
2013
3
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
2015
Engineering dependable software systems / edited by Manfred Broy, Doron Peled and Georg Kalus.
Axe ProQuest E-Book:Available
2013
Software safety and security [electronic resource] : tools for analysis and verification / edited by
Axe ProQuest E-Book:Available
2012
Verification of infinite-state systems with applications to security [electronic resource] / edited b
Axe ProQuest E-Book:Available
2006
Add Marked to Bag
Add All On Page
Brief Display
Limit/Sort Search
Available items only
