Brief Records : EPA National Library Catalog

Items Found: 2

Showing Items: 1 - 2

Your Search: (SUBJECT=Computer software Verification)

OLS Field Name OLS Field Data
Full Record Document Number: 1
Main Title Software verification and validation its role in computer assurance and its relationship with software project management standards /
Author Wallace, Delores R.
Other Authors
Author Title of a Work
Fujii, Roger U.
Publisher National Institute of Standards and Technology,
Year Published 1989
Report Number xpmx
OCLC Number 21472154
Subjects Systems engineering ; Computer software--Validation ; Computer software--Verification ; PROGRAM VERIFICATION (COMPUTERS)--nasat ; SOFTWARE ENGINEERING--nasat ; PROJECT MANAGEMENT--nasat
Holdings
Library Call Number Additional Info Location Last
Modified
Checkout
Status
EJBM  QA76.754.W35 1989 Headquarters Library/Washington,DC 06/15/1990
Collation vii, 29 p. : ill. ; 28 cm.

Full Record Document Number: 2
Main Title Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers /
Other Authors
Author Title of a Work
Cohen, Ernie,
Rybalchenko, Andrey,
Publisher Springer,
Year Published 2014
OCLC Number 877906363
ISBN 9783642541070; 3642541070
Subjects Computer software--Verification--Congresses. ; Computer software--Quality control--Congresses. ; Compilers (Computer programs)--Congresses.
Holdings
Library Call Number Additional Info Location Last
Modified
Checkout
Status
ELBM  QA76.76.V47V47 2014 AWBERC Library/Cincinnati,OH 10/13/2015
Collation xvi, 345 pages : illustrations ; 24 cm.