Record Display for the EPA National Library Catalog

RECORD NUMBER: 7 OF 7

OLS Field Name OLS Field Data
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.
Notes
Includes bibliographical references and author index.