Runtime verification : (Record no. 636985)

MARC details
000 -LEADER
fixed length control field 05639cam a2201033 a 4500
001 - CONTROL NUMBER
control field ocn232363540
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703144342.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 080620s2007 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions pn
Transcribing agency GW5XE
Modifying agency CEF
-- COD
-- STF
-- W2U
-- YNG
-- NUI
-- OCLCQ
-- OCLCA
-- OCLCF
-- EBLCP
-- BEDGE
-- VT2
-- OCLCQ
-- OCLCO
-- SLY
-- COO
-- YDXCP
-- OCL
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCQ
-- UAB
-- ESU
-- OCLCQ
-- U3W
-- BUF
-- TFW
-- WYU
-- ICG
-- OCLCQ
-- OL$
-- OCLCQ
-- AUD
-- WURST
-- OCLCQ
-- EUX
-- OCLCQ
-- COM
-- OCLCO
-- OCLCQ
-- OCLCL
016 ## - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 2008008222X
019 ## -
-- 189754313
-- 261068042
-- 308299931
-- 880102397
-- 1087006561
-- 1238701330
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540773955
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540773959
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540773948
Qualifying information (pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540773940
Qualifying information (pbk.)
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-540-77395-5
Source of number or code doi
024 8# - OTHER STANDARD IDENTIFIER
Standard number or code 9786611342845
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000042639040
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000043372145
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000045233909
029 1# - (OCLC)
OCLC library identifier HEBIS
System control number 198461674
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 384377769
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 11605787
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13705056
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)232363540
Canceled/invalid control number (OCoLC)189754313
-- (OCoLC)261068042
-- (OCoLC)308299931
-- (OCoLC)880102397
-- (OCoLC)1087006561
-- (OCoLC)1238701330
037 ## - SOURCE OF ACQUISITION
Stock number 978-3-540-77394-8
Source of stock number/acquisition Springer
Note http://www.springerlink.com
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.F67
Item number R9 2007eb
055 02 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA
Classification number QA76.9*
055 00 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA
Classification number QA76 .9 F67
Item number R87 2007
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
Edition number 22
084 ## - OTHER CLASSIFICATION NUMBER
Classification number TP311-532
Number source clc
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element RV (Workshop)
Number of part/section/meeting (7th :
Date of meeting 2007 :
Location of meeting Vancouver, B.C.)
9 (RLIN) 25105
245 10 - TITLE STATEMENT
Title Runtime verification :
Remainder of title 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /
Statement of responsibility, etc. Oleg Sokolsky, Serdar Taşiran (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title RV 2007
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2007.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (viii, 213 pages) :
Other physical details illustrations
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 4839
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 2, Programming and software engineering
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Invited paper: PSL for runtime verification : theory and practice / Cindy Eisner -- AOP-related papers -- Core runtime verification papers.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada, in August 2007 as satellite workshop of AoSD 2007, the International Conference on Aspect-Oriented Software Development. The 16 revised full papers presented together with 1 invited paper were carefully selected from 29 initial submissions. The subject covers several technical fields such as specification languages and logics, aspect oriented languages with trace predicates, program instrumentation in general, program guidance in general, combining static and dynamic analysis, and dynamic program analysis. There are 7 papers that focus on aspect-oriented programming followed by 9 papers which place emphasis on core runtime verification.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
Form subdivision Congresses.
9 (RLIN) 15679
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification
Form subdivision Congresses.
9 (RLIN) 15105
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Testing
Form subdivision Congresses.
9 (RLIN) 18837
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Aspect-oriented programming
Form subdivision Congresses.
9 (RLIN) 20812
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Méthodes formelles (Informatique)
Form subdivision Congrès.
9 (RLIN) 18838
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logiciels
General subdivision Vérification
Form subdivision Congrès.
9 (RLIN) 18708
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification.
Source of heading or term cct
9 (RLIN) 1930
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Testing.
Source of heading or term cct
9 (RLIN) 4794
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Aspect-oriented programming.
Source of heading or term cct
9 (RLIN) 20819
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
Source of heading or term cct
9 (RLIN) 15635
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
Source of heading or term eclas
9 (RLIN) 14930
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Aspect-oriented programming.
Source of heading or term fast
Authority record control number (OCoLC)fst01739787
9 (RLIN) 20819
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Testing.
Source of heading or term fast
Authority record control number (OCoLC)fst00872601
9 (RLIN) 4794
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification.
Source of heading or term fast
Authority record control number (OCoLC)fst00872604
9 (RLIN) 1930
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
Source of heading or term fast
Authority record control number (OCoLC)fst00932926
9 (RLIN) 15635
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term informatiesystemen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term information systems
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computerwetenschappen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer sciences
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term programmeertalen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term programming languages
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term software engineering
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Information and Communication Technology (General)
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Informatie- en communicatietechnologie (algemeen)
655 #2 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Congress
9 (RLIN) 11670
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term fast
Authority record control number (OCoLC)fst01423772
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term lcgft
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Actes de congrès.
Source of term rvmgf
9 (RLIN) 609890
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Sokolsky, Oleg.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Tasiran, Serdar.
9 (RLIN) 25107
758 ## -
-- has work:
-- Runtime Verification (Online) (Text)
-- https://id.oclc.org/worldcat/entity/E39PCY3fyBJJtGGmfDPpWCKB8y
-- https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading RV 2007 (2007 : Vancouver, B.C.).
Title Runtime verification.
Place, publisher, and date of publication Berlin ; New York : Springer, ©2007
International Standard Book Number 9783540773948
-- 3540773940
Record control number (DLC) 2007941510
-- (OCoLC)185038879
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 4839.
International Standard Serial Number 0302-9743
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title LNCS sublibrary.
Number of part/section of a work SL 2,
Name of part/section of a work Programming and software engineering.
9 (RLIN) 20654
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/978-3-540-77395-5">https://link.springer.com/10.1007/978-3-540-77395-5</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL336873
938 ## -
-- YBP Library Services
-- YANK
-- 2809941
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha