2004

21 CFR Part 11 : Complete Guide to International Computer Validation Compliance for the Pharmaceutical Industry

López, Orlando



 

2013

Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

CPP (Conference) (3rd : 2013 : Melbourne, Vic.)

Cham : Springer, 2013

 

2010

Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings

CAV (Conference) (22nd : 2010 : Edinburgh, Scotland)



 

2015

EU annex 11 guide to computer validation compliance for the worldwide health agency GMP

López, Orlando, author.

Boca Raton, FL : CRC Press, [2015]

 

2014

Explore it! : reduce risk and increase confidence with exploratory testing

Hendrickson, Elisabeth



 

2014

Explore it! : Wie Softwareentwickler und Tester mit explorativem Testen Risiken reduzieren und Fehler aufdecken

Hendrickson, Elisabeth
1 Aufl


 

2010

Fast software encryption : 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised selected papers

FSE (Workshop) (17th : 2010 : Seoul, Korea)



 

2013

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings

International Conference on Formal Engineering Methods (15th : 2013 : Queenstown, N.Z.)

Heidelberg : Springer, [2013]

 

2007

Global specification and validation of embedded systems : integrating heterogeneous components

 

2013

Gradle beyond the basics

Berglund, Tim.



 

2013

Gradle : Ein kompakter Einstieg in modernes Build-Management

Baumann, Joachim
1. Aufl


 

2007

Guidance for the verification and validation of neural networks

Pullum, Laura L.



 

2013

Hardware and software : verification and testing ; 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

International Haifa Verification Conference (8th : 2012 : Haifa, Israel)

New York : Springer, [2013]

 

2013

Hardware and software : verification and testing ; 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

International Haifa Verification Conference (9th : 2013 : Haifa, Israel)

Cham : Springer, [2013]

 

2015

Introducing Gradle

Varanasi, Balaji

©2015

 

2011

Medical device software verification, validation and compliance

Vogel, David A., author



 

2013

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.)



 

2010

Pharmaceutical computer systems validation : quality assurance, risk management and regulatory compliance

2nd ed


 

2021

Python testing with Selenium : learn to implement different testing techniques using the Selenium Webdriver

Raghavendra, Sujay, author

New York, NY : Apress Media LLC, [2021]

 

2007

Software verification and validation : an engineering and scientific approach

Fisher, Marcus S



 

2011

Specification by example : how successful teams deliver the right software

Adzic, Gojko



 

2010

Testing--practice and research techniques : 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010 : proceedings

Testing: Academic & Industrial Conference--Practice and Research Techniques (5th : 2010 : Windsor, England)



 

2013

Testing software and systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

ICTSS (Conference) (25th : 2013 : Istanbul, Turkey)

Heidelberg : Springer, 2013

 

2010

Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

Pernambuco Summer School on Software Engineering (2nd : 2007 : Recife, Brazil)



 

2012

Testowanie bezpieczeństwa aplikacji internetowych : receptury

Hope, Paco.