Formal development of programs and proofs

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

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

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/18953690#Topic/correction_programme
http://id.loc.gov/authorities/subjects/sh85107310
http://experiment.worldcat.org/entity/work/data/18953690#Topic/aufsatzsammlung
http://experiment.worldcat.org/entity/work/data/18953690#Topic/programmtest
http://experiment.worldcat.org/entity/work/data/18953690#Topic/preuve_programme
http://experiment.worldcat.org/entity/work/data/18953690#Topic/inteligencia_artificial_estudios_y_conferencias
http://experiment.worldcat.org/entity/work/data/18953690#Topic/elaboratori_elettronici_programmazione_saggi
http://experiment.worldcat.org/entity/work/data/18953690#Topic/programmverifikation
http://experiment.worldcat.org/entity/work/data/18953690#Topic/programacion_ordenadores_electronicos_estudios_y_conferencias
http://experiment.worldcat.org/entity/work/data/18953690#Topic/szamitogep_programozas_tanulmanyok
http://experiment.worldcat.org/entity/work/data/18953690#Topic/software_engineering
http://experiment.worldcat.org/entity/work/data/18953690#Topic/electronic_digital_computers_programming_congresses
http://experiment.worldcat.org/entity/work/data/18953690#Topic/specification_logiciel
http://id.worldcat.org/fast/872390
http://experiment.worldcat.org/entity/work/data/18953690#Topic/developpement_logiciel
http://experiment.worldcat.org/entity/work/data/18953690#Topic/engenharia_de_programacao_software
http://experiment.worldcat.org/entity/work/data/18953690#Topic/programmation_informatique
http://experiment.worldcat.org/entity/work/data/18953690#Topic/exclusion_mutuelle
http://experiment.worldcat.org/entity/work/data/18953690#Topic/programmation_informatique_congres
http://id.loc.gov/authorities/subjects/sh2007004295
http://experiment.worldcat.org/entity/work/data/18953690#Topic/programacao_de_computadores
http://experiment.worldcat.org/entity/work/data/18953690#Topic/preuve_de_programmes_programmation_etudes_diverses

http://schema.org/contributor

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

http://schema.org/editor

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

http://schema.org/genre

"Aufsatzsammlung"
"Conference proceedings"
"Conference papers and proceedings"@en
"Conference papers and proceedings"

http://schema.org/name

"Formal development of programs and proofs"
"Formal development of programs and proofs"@en

http://schema.org/workExample

http://www.worldcat.org/oclc/472564878
http://www.worldcat.org/oclc/850599380
http://www.worldcat.org/oclc/263150526
http://www.worldcat.org/oclc/908988674
http://www.worldcat.org/oclc/19125494
http://www.worldcat.org/oclc/503006732
http://www.worldcat.org/oclc/300623364
http://www.worldcat.org/oclc/654672268
http://www.worldcat.org/oclc/799837682

Aufsatzsammlung.

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
"Aufsatzsammlung."