Verification and Analysis of Computer Systems / Henry Skinner

By:

Skinner, Henry

Material type: Text

TextPublication details: NY Research Press , 2023. USA :Edition: 1st edDescription: 250 pagesISBN:

9781647253752

Subject(s):

Computer Science & Information Technology

DDC classification:

004.35 SKI

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )

Holdings
Item type	Current library	Collection	Shelving location	Call number	Status	Barcode
Reference	Kalaignar Centenary Library Madurai	ENGLISH-REFERENCE BOOKS	நான்காம் தளம் / Fourth floor	004.35 SKI (Browse shelf(Opens below))	Not for loan	151148

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.

Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Verification and Analysis of Computer Systems / Henry Skinner

Find us on the map