Welcome to the Kids' Library!

Software verification and validation for practitioners and managers

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

Validation of chromatography data systems meeting business and regulatory requirements

McDowall, R. D.
Cambridge : Royal Society of Chemistry, c2005. 2005

Web security testing cookbook : systematic techniques to find problems fast

Hope, Paco.
Beijing [China] ; Sebastopol, CA : O'Reilly, c2009. 2009

Independent verification & validation providing unbiased software analysis & evaluation services.

Idaho National Laboratory.
[Idaho Falls, Idaho] : Idaho National Laboratory, [2008?] 2008

General principles of software validation final guidance for industry and FDA staff

Rockville, MD : U.S. Dept. of Health and Human Services, Food and Drug Administration, Center for Devices and Radiological Health : Center for Biologics Evaluation and Research, [2002] 2002

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

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