Picture 1 of 1

Verification and Analysis of Computer Systems by Henry Skinner (2023, Hardcover)

Booksxpress (9052)

96% positive Feedback

Price:

US $126.13

Approximately£94.01

+ $17.25 postage

Estimated delivery Tue, 12 Aug - Fri, 22 Aug

Returns:

30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

New

Verification and Analysis of Computer Systems [Hardcover]

About this product

Product Identifiers

PublisherNY Research Press

ISBN-101647253756

ISBN-139781647253752

eBay Product ID (ePID)2336892744

Product Key Features

Number of Pages258 Pages

LanguageEnglish

Publication NameVerification and Analysis of Computer Systems

Publication Year2023

SubjectSoftware Development & Engineering / General

TypeTextbook

Subject AreaComputers

AuthorHenry Skinner

FormatHardcover

Dimensions

Item Height0.6 in

Item Weight23.6 Oz

Item Length10 in

Item Width7 in

Additional Product Features

Intended AudienceTrade

SynopsisComputer 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.