skip to content
Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers Preview this item
ClosePreview this item
Checking...

Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers

Author: Bernhard Beckert; Claude Marché
Publisher: Berlin [u.a.] Springer 2011
Series: Lecture notes in computer science, 6528
Edition/Format:   Computer file : Conference publication : EnglishView all editions and formats
Summary:

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Kongress
Material Type: Conference publication, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Bernhard Beckert; Claude Marché
ISBN: 3642180698 9783642180699 9783642180705 3642180701
OCLC Number: 846406497
Notes: Literaturangaben
Description: Online-Ressource (x, 197 S.)
Series Title: Lecture notes in computer science, 6528
Responsibility: Bernhard Beckert; Claude Marché (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/846406497> # Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers
    a bgn:ComputerFile, schema:CreativeWork ;
    library:oclcnum "846406497" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793791906#Place/berlin_u_a> ; # Berlin u.a.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh89003285> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/793791906#Topic/objektorientierung> ; # Objektorientierung
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/793791906#Topic/softwareprodukt> ; # Softwareprodukt
    schema:about <http://experiment.worldcat.org/entity/work/data/793791906#Topic/information_systems> ; # Information Systems
    schema:about <http://id.loc.gov/authorities/subjects/sh85078117> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/793791906#Topic/formale_methode> ; # Formale Methode
    schema:about <http://experiment.worldcat.org/entity/work/data/793791906#Place/paris_2010> ; # Paris <2010>
    schema:about <http://dewey.info/class/004/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/793791906#Thing/kongress> ; # Kongress
    schema:about <http://id.loc.gov/authorities/subjects/sh87007398> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/793791906#Topic/objektorientierte_programmiersprache> ; # Objektorientierte Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/793791906#Topic/verifikation> ; # Verifikation
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:contributor <http://viaf.org/viaf/272060881> ; # Claude Marché
    schema:contributor <http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_2010_06_28_30_paris> ; # International Conference on Formal Verification of Object-Oriented Software (2010.06.28-30 Paris)
    schema:contributor <http://viaf.org/viaf/37577082> ; # Bernhard Beckert
    schema:contributor <http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_06_28_30_paris> ; # FoVeOOS (2010.06.28-30 Paris)
    schema:contributor <http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_paris> ; # FoVeOOS 2010 Paris
    schema:datePublished "2011" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/793791906> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/793791906#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/793791906#Series/> ; #
    schema:name "Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers" ;
    schema:productID "846406497" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/846406497#PublicationEvent/berlin_u_a_springer2011> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/793791906#Agent/springer> ; # Springer
    schema:url <http://site.ebrary.com/lib/alltitles/docDetail.action?docID=10442917> ;
    schema:url <http://swbplus.bsz-bw.de/bsz337803161cov.htm> ;
    schema:url <http://www.springerlink.com/content/978-3-642-18070-5> ;
    schema:url <http://deposit.d-nb.de/cgi-bin/dokserv?id=3623746&prov=M&dok%5Fvar=1&dok%5Fext=htm> ;
    schema:url <http://d-nb.info/1009580442/34> ;
    schema:url <https://doi.org/10.1007/978-3-642-18070-5> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-18070-5> ;
    schema:url <http://nbn-resolving.de/urn:nbn:de:1111-201101182397> ;
    schema:url <http://www.gbv.de/dms/bowker/toc/9783642180699.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9783642180699> ;
    schema:workExample <http://worldcat.org/isbn/9783642180705> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-18070-5> ;
    umbel:isLike <http://d-nb.info/1009580442> ;
    umbel:isLike <http://d-nb.info/1008784923> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/846406497> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_2010_06_28_30_paris> # International Conference on Formal Verification of Object-Oriented Software (2010.06.28-30 Paris)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/793791906#Place/paris> ; # Paris)
    schema:name "International Conference on Formal Verification of Object-Oriented Software (2010.06.28-30 Paris)" ;
    .

<http://experiment.worldcat.org/entity/work/data/793791906#Place/paris> # Paris)
    a schema:Place ;
    schema:name "Paris)" ;
    schema:name "Paris" ;
    .

<http://experiment.worldcat.org/entity/work/data/793791906#Series/> #
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/846406497> ; # Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers
    schema:name "" ;
    .

<http://experiment.worldcat.org/entity/work/data/793791906#Series/lecture_notes_in_computer_science> # Lecture notes in computer science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/846406497> ; # Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers
    schema:name "Lecture notes in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/793791906#Topic/information_systems> # Information Systems
    a schema:Intangible ;
    schema:name "Information Systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/793791906#Topic/objektorientierte_programmiersprache> # Objektorientierte Programmiersprache
    a schema:Intangible ;
    schema:name "Objektorientierte Programmiersprache" ;
    .

<http://experiment.worldcat.org/entity/work/data/793791906#Topic/objektorientierung> # Objektorientierung
    a schema:Intangible ;
    schema:name "Objektorientierung" ;
    .

<http://id.loc.gov/authorities/subjects/sh85078117> # Logic design
    a schema:Intangible ;
    schema:name "Logic design" ;
    .

<http://id.loc.gov/authorities/subjects/sh87007398> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    .

<http://id.loc.gov/authorities/subjects/sh89003285> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    .

<http://viaf.org/viaf/272060881> # Claude Marché
    a schema:Person ;
    schema:familyName "Marché" ;
    schema:givenName "Claude" ;
    schema:name "Claude Marché" ;
    .

<http://viaf.org/viaf/37577082> # Bernhard Beckert
    a schema:Person ;
    schema:familyName "Beckert" ;
    schema:givenName "Bernhard" ;
    schema:name "Bernhard Beckert" ;
    .

<http://worldcat.org/isbn/9783642180699>
    a schema:ProductModel ;
    schema:isbn "3642180698" ;
    schema:isbn "9783642180699" ;
    .

<http://worldcat.org/isbn/9783642180705>
    a schema:ProductModel ;
    schema:isbn "3642180701" ;
    schema:isbn "9783642180705" ;
    .

<http://www.worldcat.org/title/-/oclc/846406497>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/846406497> ; # Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers
    schema:dateModified "2018-03-22" ;
    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.