by Aristides Dasso (Editor), Ana Funes (Editor)
Validation and verification is an area of software engineering that has been around since the early stages of program development. This book offers coverage of many formal and semiformal techniques of V&V. It explores, depicts, and provides examples of different applications in V&V that produce many areas of software development.
Format: Hardcover
Pages: 428
Edition: illustrated edition
Publisher: IGI Publishing
Published: 15 Jul 2006
ISBN 10: 1591408512
ISBN 13: 9781591408512