Welcome to the Kids' Library!

Co-verification of hardware and software for ARM SoC design

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

Metamodeling-driven IP reuse for SoC integration and microprocessor design

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

Principles of model checking

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

Robot framework test automation

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

The software audit guide

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

Software verification and validation for practitioners and managers

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

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

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

Dependable software systems engineering

Amsterdam, Netherlands : IOS Press, 2015. 2015

Engineering dependable software systems

NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)
Amsterdam ; Washington, D. C. : IOS Press, [2013] 2013

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

Verification of infinite-state systems with applications to security

NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timasoara, Romania)
Amsterdam ; Washington, D.C. : IOS Press, c2006. 2006

Audio processes : musical analysis, modification, synthesis, and control

Creasey, D. J. (David J.), author.
New York, New York ; London, [England] : Routledge, 2017. 2017