Linked Data Explorerhttp://worldcat.org/entity/work/id/508319
Lectures on the logic of computer programming
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/508319#Topic/programmation_logique
- http://experiment.worldcat.org/entity/work/data/508319#Topic/programacio_ordinadors
- http://experiment.worldcat.org/entity/work/data/508319#Topic/logica_simbolica
- http://id.loc.gov/authorities/subjects/sh85078115
- http://id.worldcat.org/fast/872390
- http://experiment.worldcat.org/entity/work/data/508319#Topic/logica_matematica
- http://experiment.worldcat.org/entity/work/data/508319#Topic/programmation_en_logique
- http://experiment.worldcat.org/entity/work/data/508319#Topic/electronic_digital_computers_programming
- http://experiment.worldcat.org/entity/work/data/508319#Topic/logique_mathematique_programmation
- http://experiment.worldcat.org/entity/work/data/508319#Topic/ordinateurs_programmation_congres
- http://experiment.worldcat.org/entity/work/data/508319#Topic/ordinateurs_programmation
- http://id.loc.gov/authorities/subjects/sh85107310
- http://experiment.worldcat.org/entity/work/data/508319#Topic/logique_symbolique_et_mathematique
- http://experiment.worldcat.org/entity/work/data/508319#Topic/programmation_informatique
- http://experiment.worldcat.org/entity/work/data/508319#Topic/elaboratori_elettronici_programmazione
- http://experiment.worldcat.org/entity/work/data/508319#Topic/logik
- http://experiment.worldcat.org/entity/work/data/508319#Topic/logique_mathematique
- http://id.worldcat.org/fast/1002068
- http://experiment.worldcat.org/entity/work/data/508319#Topic/logique_symbolique_et_mathematique_congres
- http://experiment.worldcat.org/entity/work/data/508319#Topic/programmierung
- http://experiment.worldcat.org/entity/work/data/508319#Topic/logique_informatique
http://schema.org/alternateName
- "Logic of computer programming"@en
http://schema.org/contributor
- http://id.loc.gov/authorities/names/n79053057
- http://viaf.org/viaf/131335379
- http://experiment.worldcat.org/entity/work/data/508319#Organization/society_for_industrial_and_applied_mathematics
- http://experiment.worldcat.org/entity/work/data/508319#Organization/society_for_industrial_and_applied_mathematics_philadelphia_pa
http://schema.org/description
- "This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification."
http://schema.org/genre
- "Electronic books"
http://schema.org/name
- "Lectures on the logic of computer programming"@en
- "Lectures on the logic of computer programming"
- "Lectures on the logic computer programming"
http://schema.org/workExample
- http://www.worldcat.org/oclc/441158411
- http://www.worldcat.org/oclc/476241793
- http://www.worldcat.org/oclc/718628142
- http://www.worldcat.org/oclc/804048622
- http://www.worldcat.org/oclc/6479372
- http://www.worldcat.org/oclc/882826050
- http://www.worldcat.org/oclc/859814816
- http://www.worldcat.org/oclc/801302534
- http://www.worldcat.org/oclc/499268585
- http://www.worldcat.org/oclc/752259647
- http://www.worldcat.org/oclc/802457674
- http://www.worldcat.org/oclc/781241408
- http://www.worldcat.org/oclc/873886381
- http://www.worldcat.org/oclc/468147195
- http://www.worldcat.org/oclc/299630736
- http://www.worldcat.org/oclc/6473326