|
020 -INTERNATIONAL STANDARD BOOK NUMBER
|
|
a
ISBN
978-354-0773948 (pbk.-)
|
|
|
020 -INTERNATIONAL STANDARD BOOK NUMBER
|
|
a
ISBN
3-540-773940 (pbk.-)
|
|
|
040 -CATALOGING SOURCE
|
|
a
Original cataloging agency
NEU GrandLibrary
|
|
|
050 -LIBRARY OF CONGRESS CALL NUMBER
|
|
a
Classification number
QA76.758
|
|
b
Item number
S65 2007
|
|
|
111 -MAIN ENTRY--MEETING NAME
|
|
a
Meeting name or jurisdiction name as entry element
RV (Workshop)
|
|
|
245 -TITLE STATEMENT
|
|
a
Title
Runtime verification :
|
|
b
Remainder of title
7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /
|
|
c
Statement of responsibility, etc
Oleg Sokolsky, Serdar Tasiran (eds.).
|
|
h
Medium
BOOK
|
|
|
246 -VARYING FORM OF TITLE
|
|
a
Title proper/short title
RV 2007
|
|
|
260 -PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
|
|
a
Place of publication, distribution, etc
Berlin ;
|
|
a
Place of publication, distribution, etc
New York :
|
|
b
Name of publisher, distributor, etc
Springer,
|
|
c
Date of publication, distribution, etc
c2007.
|
|
|
300 -PHYSICAL DESCRIPTION
|
|
a
Extent
viii, 213 p. :
|
|
b
Other physical details
ill. ;
|
|
c
Dimensions
24 cm.
|
|
|
490 -SERIES STATEMENT
|
|
a
Series statement
Lecture notes in computer science,
|
|
v
Volume number/sequential designation
4839
|
|
|
490 -SERIES STATEMENT
|
|
a
Series statement
LNCS sublibrary. SL 2, Programming and software engineering
|
|
|
504 -BIBLIOGRAPHY, ETC. NOTE
|
|
a
Bibliography, etc
Includes bibliographical references and author index.
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
Formal methods (Computer science)
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
Computer software
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
Computer software
|
|
|
655 -INDEX TERM--GENRE/FORM
|
|
a
Genre/form data or focus term
Conference papers and proceedings.
|
|
|
700 -ADDED ENTRY--PERSONAL NAME
|
|
a
Personal name
Sokolsky, Oleg.
|
|
|
700 -ADDED ENTRY--PERSONAL NAME
|
|
a
Personal name
Tasiran, Serdar.
|
|
|
830 -SERIES ADDED ENTRY--UNIFORM TITLE
|
|
a
Uniform title
Lecture notes in computer science ;
|
|
|
830 -SERIES ADDED ENTRY--UNIFORM TITLE
|
|
a
Uniform title
LNCS sublibrary.
|
|
|
856 -ELECTRONIC LOCATION AND ACCESS
|
|
|
