Kids Library Home

Welcome to the Kids' Library!

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

Back to Search Results Limit/Sort Search
     
Available items only
Add Marked to Bag Add All On Page
Authors (1-3 of 3)
Nipkow Tobias 1958
1
Print Material
 

Concrete Semantics With Isabelle / Hol


Nipkow, Tobias, 1958-
Cham : Springer International Publishing, 2014. 2014

Rating:

 

Copies

Location Call No. OPAC Message Status
 Axe 3rd Floor Stacks  005.1 N625c 2014    ---  Available
2
E-Book/E-Doc
 

Formal logical methods for system security and correctness


NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)
Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008. 2008

Rating:

Website

Copies

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

Software safety and security tools for analysis and verification


NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
Washington, D.C. : IOS Press, 2012. 2012

Rating:

Website

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
Back to Search Results Limit/Sort Search
 
    
Available items only