Full Record Display for the EPA National Library Catalog


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.
Library Call Number Additional Info Location Last
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.
Place Published Heidelberg
Title Ser Add Ent Lecture notes in computer science ; 8164.; LNCS sublibrary. Programming and software engineering.
Conference Title VSTTE (Conference)
Alternate Title VSTTE 2013
PUB Date Free Form 014
Series Title Untraced Lecture Notes in Computer Science, 8164\ LNCS sublibrary. SL 2, Programming and software engineering
BIB Level m
Medium unmediated
Content text
Carrier volume
Cataloging Source RDA
Merged OCLC records 867615535
OCLC Time Stamp 20151009141942
Language eng
Origin OCLC
Type CAT
OCLC Rec Leader 02127cam 2200493Ii 45020