Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/793791906

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

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/Book
http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/793791906#Topic/informatique
http://experiment.worldcat.org/entity/work/data/793791906#Topic/approche_orientee_objet
http://id.worldcat.org/fast/932926
http://experiment.worldcat.org/entity/work/data/793791906#Topic/objektorientierung
http://id.worldcat.org/fast/872604
http://experiment.worldcat.org/entity/work/data/793791906#Topic/formal_methods_computer_science
http://experiment.worldcat.org/entity/work/data/793791906#Topic/methodes_formelles_informatique
http://id.loc.gov/authorities/subjects/sh2006006405
http://id.loc.gov/authorities/subjects/sh87007398
http://id.loc.gov/authorities/subjects/sh2009121254
http://id.worldcat.org/fast/1124185
http://id.loc.gov/authorities/subjects/sh89003285
http://id.loc.gov/authorities/subjects/sh2008104061
http://experiment.worldcat.org/entity/work/data/793791906#Topic/verifikation
http://experiment.worldcat.org/entity/work/data/793791906#Topic/information_systems
http://experiment.worldcat.org/entity/work/data/793791906#Topic/programmation_orientee_objets_informatique_congres
http://experiment.worldcat.org/entity/work/data/793791906#Topic/formal_methods_computer_science_congresses
http://experiment.worldcat.org/entity/work/data/793791906#Topic/objektorientierte_programmiersprache
http://experiment.worldcat.org/entity/work/data/793791906#Topic/object_oriented_methods_computer_science
http://id.loc.gov/authorities/subjects/sh85078117
http://id.worldcat.org/fast/872451
http://experiment.worldcat.org/entity/work/data/793791906#Topic/programacio_orientada_a_l_objecte_informatica
http://experiment.worldcat.org/entity/work/data/793791906#Topic/verification_formelle
http://experiment.worldcat.org/entity/work/data/793791906#Topic/logiciels_verification_congres
http://experiment.worldcat.org/entity/work/data/793791906#Topic/formale_methode
http://experiment.worldcat.org/entity/work/data/793791906#Topic/programacio_orientada_a_l_objecte_informatica_congressos
http://experiment.worldcat.org/entity/work/data/793791906#Place/paris_&lt_2010&gt
http://id.worldcat.org/fast/1042803
http://id.loc.gov/authorities/subjects/sh2010104112
http://experiment.worldcat.org/entity/work/data/793791906#Topic/computer_software_verification
http://experiment.worldcat.org/entity/work/data/793791906#Topic/softwareprodukt
http://id.worldcat.org/fast/1741387
http://id.worldcat.org/fast/1002045
http://experiment.worldcat.org/entity/work/data/793791906#Topic/logiciels_verification
http://experiment.worldcat.org/entity/work/data/793791906#Topic/verification_de_logiciels
http://experiment.worldcat.org/entity/work/data/793791906#Topic/computer_software_verification_congresses
http://experiment.worldcat.org/entity/work/data/793791906#Topic/langage_oriente_objets
http://experiment.worldcat.org/entity/work/data/793791906#Topic/object_oriented_methods_computer_science_congresses

http://schema.org/alternateName

"FoVeOOS 2010"

http://schema.org/contributor

http://worldcat.org/entity/person/id/2642330814
http://viaf.org/viaf/163896372
http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_06_28_30_paris
http://worldcat.org/entity/person/id/2637602770
http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_2010_06_28_30_paris
http://experiment.worldcat.org/entity/work/data/793791906#Organization/springerlink_service_en_ligne
http://experiment.worldcat.org/entity/work/data/793791906#Organization/foveoos_&lt_2010_paris&gt
http://id.loc.gov/authorities/names/nb2011003302
http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_foveoos_28_06_2010_30_06_2010_paris_france

http://schema.org/creator

http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_2010_paris_franca
http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_paris_france_2010
http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_foveoos_2010_paris_france
http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_conference_2010_paris_france
http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_2010_paris_france

http://schema.org/editor

http://worldcat.org/entity/person/id/2637602770

http://schema.org/genre

"Llibres electrònics"
"Conference papers and proceedings"
"Conference papers and proceedings"@en
"Conference proceedings"
"Electronic books"
"Electronic books"@en
"Kongress"
"Kongress"@en

http://schema.org/name

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

http://schema.org/workExample

http://www.worldcat.org/oclc/709839947
http://www.worldcat.org/oclc/706961619
http://www.worldcat.org/oclc/793155350
http://www.worldcat.org/oclc/698166090
http://www.worldcat.org/oclc/704393873
http://www.worldcat.org/oclc/905277768
http://www.worldcat.org/oclc/846406497
http://www.worldcat.org/oclc/706023075
http://www.worldcat.org/oclc/827772801
http://www.worldcat.org/oclc/708564654
http://www.worldcat.org/oclc/805065518

FoVeOOS (2010.06.28-30 Paris)

This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"FoVeOOS (2010.06.28-30 Paris)"

http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_06_28_30_paris

FoVeOOS 2010 (2010 : Paris, France)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"FoVeOOS 2010 (2010 : Paris, France)"

http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_2010_paris_france

FoVeOOS 2010 (Paris, France) (2010).

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"FoVeOOS 2010 (Paris, France) (2010)."

http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_2010_paris_france_2010

FoVeOOS (Conference) : (2010 : Paris, France)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"FoVeOOS (Conference) : (2010 : Paris, France)"
"FoVeOOS (Conference) (2010 : Paris, France)"

http://experiment.worldcat.org/entity/work/data/793791906#Meeting/foveoos_conference_2010_paris_france

International Conference FoVeOOS (2010 : Paris, France)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"International Conference FoVeOOS (2010 : Paris, France)"

http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_foveoos_2010_paris_france

International Conference on Formal Verification of Object-Oriented Software (2010.06.28-30 Paris)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"International Conference on Formal Verification of Object-Oriented Software (2010.06.28-30 Paris)"

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 : Paris, França)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"International Conference on Formal Verification of Object-Oriented Software (2010 : Paris, França)"

http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_2010_paris_franca

International Conference on Formal Verification of Object-Oriented Software, FoVeOOS (28-06-2010 - 30-06-2010 : Paris, France)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"International Conference on Formal Verification of Object-Oriented Software, FoVeOOS (28-06-2010 - 30-06-2010 : Paris, France)"

http://experiment.worldcat.org/entity/work/data/793791906#Meeting/international_conference_on_formal_verification_of_object_oriented_software_foveoos_28_06_2010_30_06_2010_paris_france

FoVeOOS. <2010, Paris>.

This is a placeholder reference for a Organization entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Organization
schema:name
"FoVeOOS. <2010, Paris>."

http://experiment.worldcat.org/entity/work/data/793791906#Organization/foveoos_&lt_2010_paris&gt

SpringerLink (Service en ligne)

rdf:type
http://schema.org/Organization
schema:name
"SpringerLink (Service en ligne)"

http://experiment.worldcat.org/entity/work/data/793791906#Organization/springerlink_service_en_ligne

Paris <2010>

This is a placeholder reference for a Place entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Place
schema:name
"Paris <2010>"

http://experiment.worldcat.org/entity/work/data/793791906#Place/paris_&lt_2010&gt

Approche orientée objet.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Approche orientée objet."