Mathematical structures for computer science

by Judith L. Gersting

Introduction to automata theory, languages, and computation

by John E. Hopcroft, Jeffrey D. Ullman

Ten years ago the authors undertook to produce a book covering the known material on formal languages, automata theory, ...

Automate the Boring Stuff with Python

by Al Sweigart

Programming Logic and Design

by Joyce Farrell

Validation, verification, and testing of computer software

by W. Richards Adrion

Good computer validation practices

by Teri Stokes, Ronald C. Branning

There have been a number of high profile, costly, and embarrassing computer project disasters around the world in recent...

Program validation

by Software Sciences Limited.

Validation numerics

by R. Albrecht, G. Alefeld

Secure programming cookbook for C and C++

by John Viega

Validation and modification of the 4SIGHT computer program

by Kenneth A Snyder

Validation and modification of the 4SIGHT computer program

by Kenneth A. Snyder, National Institute of Standards and Technology (U.S.)

IEEE Standard for software verification and validation

by IEEE Computer Society. Software Engineering Standards Committee

Validation of NASA thermal ice protection computer codes.

Expert System verification and validation study

Validity and Social Experimentation

by Leonard Bickman

This chapter outlines a practical theory for exploring external validity-the generalization of casual relationships.

TRAC-M validation test matrix

by B. E. Boyack

Verification and validation in scientific computing

by William L. Oberkampf

VALIDATION AND MODIFICATION OF 4SIGHT COMPUTER PROGRAM... NI...

Approaches to improved program validation through programmin...

by Donald W. Kosy

EU Annex 11 Guide to Computer Validation Compliance for the ...

by Orlando Lopez