The foundations of program verification

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/7255170#Topic/program_ellenorzo
http://experiment.worldcat.org/entity/work/data/7255170#Topic/prospective
http://experiment.worldcat.org/entity/work/data/7255170#Topic/verification_epistemologie
http://id.worldcat.org/fast/872448
http://experiment.worldcat.org/entity/work/data/7255170#Topic/diagnostico_e_sistemas_de_avaliacao_computadores
http://experiment.worldcat.org/entity/work/data/7255170#Topic/elaboratori_elettronici_programmazione_verifica
http://experiment.worldcat.org/entity/work/data/7255170#Topic/engineering_general
http://experiment.worldcat.org/entity/work/data/7255170#Topic/software
http://experiment.worldcat.org/entity/work/data/7255170#Topic/verificatie
http://experiment.worldcat.org/entity/work/data/7255170#Topic/semantique_denotationnelle
http://experiment.worldcat.org/entity/work/data/7255170#Topic/genie_logiciel
http://experiment.worldcat.org/entity/work/data/7255170#Topic/verifikation_&lt_edv&gt
http://experiment.worldcat.org/entity/work/data/7255170#Topic/programmverifikation
http://experiment.worldcat.org/entity/work/data/7255170#Topic/logiciels_verification
http://experiment.worldcat.org/entity/work/data/7255170#Topic/oprogramowanie_weryfikacja
http://experiment.worldcat.org/entity/work/data/7255170#Topic/semantique_langage_programmation
http://experiment.worldcat.org/entity/work/data/7255170#Topic/computer_programs
http://experiment.worldcat.org/entity/work/data/7255170#Topic/verification_logiciel
http://experiment.worldcat.org/entity/work/data/7255170#Topic/programas_de_ordenador_verificacion
http://experiment.worldcat.org/entity/work/data/7255170#Topic/programmation
http://experiment.worldcat.org/entity/work/data/7255170#Topic/logiciel_verification
http://experiment.worldcat.org/entity/work/data/7255170#Topic/engineering
http://experiment.worldcat.org/entity/work/data/7255170#Topic/verificacio_de_programes
http://experiment.worldcat.org/entity/work/data/7255170#Topic/semantique_langage
http://experiment.worldcat.org/entity/work/data/7255170#Topic/logiciels_fiabilite
http://experiment.worldcat.org/entity/work/data/7255170#Topic/logica_e_semantica_de_programacao
http://experiment.worldcat.org/entity/work/data/7255170#Topic/informatique
http://experiment.worldcat.org/entity/work/data/7255170#Topic/verifikation_datenverarbeitung
http://experiment.worldcat.org/entity/work/data/7255170#Topic/programm_datenverarbeitung
http://id.loc.gov/authorities/subjects/sh85029528
http://experiment.worldcat.org/entity/work/data/7255170#Topic/computer_programs_verification

http://schema.org/author

http://worldcat.org/entity/person/id/2632117701
http://worldcat.org/entity/person/id/2632693482
http://worldcat.org/entity/person/id/2629791816

http://schema.org/contributor

http://viaf.org/viaf/312583904
http://worldcat.org/entity/person/id/2740948811
http://experiment.worldcat.org/entity/work/data/7255170#Thing/loeckx_jacques
http://experiment.worldcat.org/entity/work/data/7255170#Thing/stansifer_ryan
http://worldcat.org/entity/person/id/2632693482
http://worldcat.org/entity/person/id/2745327179
http://experiment.worldcat.org/entity/work/data/7255170#Thing/sieber_kurt
http://worldcat.org/entity/person/id/2632117701

http://schema.org/creator

http://worldcat.org/entity/person/id/2629791816
http://worldcat.org/entity/person/id/2736299448

http://schema.org/editor

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

http://schema.org/name

"The Foundations of program verification"
"The Foundations of Program Verification"
"The foundations of program verification"@en
"The foundations of program verification"
"THE FOUNDATIONS OF PROGRAM VERIFICATION"
"Foundations of program verification"

http://schema.org/workExample

http://www.worldcat.org/oclc/474054384
http://www.worldcat.org/oclc/651835362
http://www.worldcat.org/oclc/883354701
http://www.worldcat.org/oclc/490703096
http://www.worldcat.org/oclc/441353385
http://www.worldcat.org/oclc/263099734
http://www.worldcat.org/oclc/797259223
http://www.worldcat.org/oclc/863100258
http://www.worldcat.org/oclc/9826572
http://www.worldcat.org/oclc/906888998
http://www.worldcat.org/oclc/797219392
http://www.worldcat.org/oclc/860184366
http://www.worldcat.org/oclc/562766693
http://www.worldcat.org/oclc/856834881
http://www.worldcat.org/oclc/301234011
http://www.worldcat.org/oclc/721487153
http://www.worldcat.org/oclc/802615162
http://www.worldcat.org/oclc/476721202
http://www.worldcat.org/oclc/14069178
http://www.worldcat.org/oclc/859195345
http://www.worldcat.org/oclc/251759369
http://www.worldcat.org/oclc/59238667
http://www.worldcat.org/oclc/468464227
http://www.worldcat.org/oclc/878755282
http://www.worldcat.org/oclc/644700511
http://www.worldcat.org/oclc/899109382
http://www.worldcat.org/oclc/897627245
http://www.worldcat.org/oclc/898808997
http://www.worldcat.org/oclc/913687087

Loeckx, Jacques

This is a placeholder reference for a Thing 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/Thing
schema:name
"Loeckx, Jacques"

http://experiment.worldcat.org/entity/work/data/7255170#Thing/loeckx_jacques

Sieber, Kurt.

rdf:type
http://schema.org/Thing
schema:name
"Sieber, Kurt."

http://experiment.worldcat.org/entity/work/data/7255170#Thing/sieber_kurt

Stansifer, Ryan

rdf:type
http://schema.org/Thing
schema:name
"Stansifer, Ryan"

http://experiment.worldcat.org/entity/work/data/7255170#Thing/stansifer_ryan

Computer programs.

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
"Computer programs."