Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN013215871X> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- books?vid=ISBN013215871X first "E.W.".
- books?vid=ISBN013215871X isCitedBy Dynamic_logic_(modal_logic).
- books?vid=ISBN013215871X isbn "013215871X".
- books?vid=ISBN013215871X last "Dijkstra".
- books?vid=ISBN013215871X location "Englewood Cliffs".
- books?vid=ISBN013215871X pages "221".
- books?vid=ISBN013215871X publisher "Prentice-Hall Inc.".
- books?vid=ISBN013215871X quote "at the end of chapter 9 Dijkstra proves non-existence of a program that "sets the value of variable x to an arbitrary positive integer"".
- books?vid=ISBN013215871X title "A Discipline of Programming".
- books?vid=ISBN013215871X year "1976".