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; FoVeOOS. <2010, Paris>.
Publisher: Berlin ; Heidelberg [u.a.] : Springer, 2011.
Series: Lecture notes in computer science, 6528.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
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: Kongress
Paris (2010)
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Bernhard Beckert; FoVeOOS. <2010, Paris>.
ISBN: 9783642180699 3642180698
OCLC Number: 706961619
Description: X, 197 S. : graph. Darst. ; 235 mm x 155 mm.
Series Title: Lecture notes in computer science, 6528.
Responsibility: Bernhard Beckert ... (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


<http://www.worldcat.org/oclc/706961619>
library:oclcnum"706961619"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:datePublished"2011"
schema:editor
schema:exampleOfWork<http://worldcat.org/entity/work/id/793791906>
schema:genre"Paris (2010)"
schema:genre"Kongress"
schema:inLanguage"en"
schema:isPartOf
schema:name"Formal verification of object-oriented software : International Conference, FoVeOOS 2010, Paris, France, June 28 - 30, 2010; revised selected papers"
schema:publication
schema:publisher
schema:workExample
umbel:isLike<http://d-nb.info/1008784923>
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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