Verification and Analysis of Computer Systems / (Record no. 44130)

MARC details
000 -LEADER
fixed length control field 01658nam a22001817a 4500
003 - CONTROL NUMBER IDENTIFIER
control field CUTN
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250328153106.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 250328b |||||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781647253752
041 ## - LANGUAGE CODE
Language English
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.14
Item number SKI
245 ## - TITLE STATEMENT
Title Verification and Analysis of Computer Systems /
Statement of responsibility, etc by Henry Skinner (Editor)
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc NY RESEARCH PRESS,
Date of publication, distribution, etc 2023.
300 ## - PHYSICAL DESCRIPTION
Extent 258 pages :
Dimensions 7 x 0.63 x 10 inches
520 ## - SUMMARY, ETC.
Summary, etc Computer system verification is an activity that involves assessing the consistency, completeness, and correctness of the software and its supporting documentation while it is being developed. It confirms and reviews the tasks within the computer system validation process. Computer system validation (CSV), or software validation, is the process for verifying that a computer system is able to perform its intended use, and can function as expected. The classic “V Diagram” is the most common methodology used for validation projects. This methodology involves various stages, namely, validation planning, user requirements specification (URS), functional specifications, design specifications, system build, installation qualification tests (IQ) Tests, operational qualification (OQ) Tests, performance qualification (PQ) Tests, and reporting. This book aims to shed light on the verification and analysis of computer systems. It consists of contributions made by international experts. This book, with its detailed analyses and data, will prove immensely beneficial to professionals and students involved in this area of computer science at various levels.
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Skinner, Henry
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type General Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Location Shelving location Date of Cataloging Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Dewey Decimal Classification     Non-fiction CUTN Central Library CUTN Central Library Generalia 28/03/2025   005.14 SKI 51333 28/03/2025 28/03/2025 General Books