A Discipline of Programming

GPTKB entity
AI-created image of A Discipline of Programming
AI-created image

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:book
gptkbp:author gptkb:Edsger_W._Dijkstra
gptkbp:countryOfPublication gptkb:United_States
https://www.w3.org/2000/01/rdf-schema#label A Discipline of Programming
gptkbp:influenced programming language theory
formal methods in software engineering
program correctness
gptkbp:ISBN 0-13-215871-X
gptkbp:language English
gptkbp:notableFor introduction of weakest precondition semantics
gptkbp:pages 217
gptkbp:publicationYear 1976
gptkbp:publisher gptkb:Prentice_Hall
gptkbp:subject computer science
programming
gptkbp:bfsParent gptkb:Edsger_Dijkstra
gptkbp:bfsLayer 4