skip to content
Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers Preview this item
ClosePreview this item
Checking...

Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers

Author: Oleg Sokolsky; Serdar Tasiran
Publisher: Berlin ; New York : Springer, ©2007.
Series: Lecture notes in computer science, 4839.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Constitutes the 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  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Oleg Sokolsky; Serdar Tasiran
ISBN: 9783540773948 3540773940
OCLC Number: 185038879
Description: viii, 213 pages : illustrations ; 24 cm.
Contents: Invited paper: PSL for runtime verification : theory and practice / Cindy Eisner --
AOP-related papers --
Core runtime verification papers.
Series Title: Lecture notes in computer science, 4839.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: RV 2007
Responsibility: Oleg Sokolsky, Serdar Taşiran (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/185038879> # Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "185038879" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/865600309#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/865600309#Topic/computer_software_testing> ; # Computer software--Testing
   schema:about <http://id.worldcat.org/fast/1739787> ; # Aspect-oriented programming
   schema:about <http://id.loc.gov/authorities/subjects/sh2005004988> ; # Aspect-oriented programming
   schema:about <http://dewey.info/class/004/a14/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/865600309#Topic/computer_software_verification> ; # Computer software--Verification
   schema:about <http://id.worldcat.org/fast/872601> ; # Computer software--Testing
   schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
   schema:alternateName "RV 2007" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/306104508> ; # Serdar Tasiran
   schema:contributor <http://viaf.org/viaf/55352999> ; # Oleg Sokolsky
   schema:copyrightYear "2007" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/865600309#Meeting/rv_2007_2007_vancouver_b_c> ; # RV 2007 (2007 : Vancouver, B.C.)
   schema:datePublished "2007" ;
   schema:description "Invited paper: PSL for runtime verification : theory and practice / Cindy Eisner -- AOP-related papers -- Core runtime verification papers."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/865600309> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/865600309#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/865600309#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
   schema:name "Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers"@en ;
   schema:productID "185038879" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/185038879#PublicationEvent/berlin_new_york_springer_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/865600309#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/978-3-540-77395-5> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4839> ;
   schema:workExample <http://worldcat.org/isbn/9783540773948> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/185038879> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/865600309#Place/vancouver_b_c> # Vancouver, B.C.)
    a schema:Place ;
   schema:name "Vancouver, B.C.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/865600309#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/185038879> ; # Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/865600309#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/185038879> ; # Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers
   schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://id.loc.gov/authorities/subjects/sh2005004988> # Aspect-oriented programming
    a schema:Intangible ;
   schema:name "Aspect-oriented programming"@en ;
    .

<http://id.worldcat.org/fast/1739787> # Aspect-oriented programming
    a schema:Intangible ;
   schema:name "Aspect-oriented programming"@en ;
    .

<http://id.worldcat.org/fast/872601> # Computer software--Testing
    a schema:Intangible ;
   schema:name "Computer software--Testing"@en ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
   schema:name "Computer software--Verification"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
   schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/306104508> # Serdar Tasiran
    a schema:Person ;
   schema:familyName "Tasiran" ;
   schema:givenName "Serdar" ;
   schema:name "Serdar Tasiran" ;
    .

<http://viaf.org/viaf/55352999> # Oleg Sokolsky
    a schema:Person ;
   schema:familyName "Sokolsky" ;
   schema:givenName "Oleg" ;
   schema:name "Oleg Sokolsky" ;
    .

<http://worldcat.org/isbn/9783540773948>
    a schema:ProductModel ;
   schema:isbn "3540773940" ;
   schema:isbn "9783540773948" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/185038879> ; # Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/185038879>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/185038879> ; # Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers
   schema:dateModified "2016-05-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.