Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Unifying_Theories_of_Programming> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- Unifying_Theories_of_Programming abstract "Unifying Theories of Programming (UTP) deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of programs and computer systems.The book of this title by C.A.R. Hoare and He Jifeng was published in the Prentice Hall International Series in Computer Science in 1998.".
- Unifying_Theories_of_Programming wikiPageExternalLink 11889229_6.
- Unifying_Theories_of_Programming wikiPageExternalLink 978-3-540-24756-2_4.
- Unifying_Theories_of_Programming wikiPageID "2849397".
- Unifying_Theories_of_Programming wikiPageRevisionID "544150097".
- Unifying_Theories_of_Programming hasPhotoCollection Unifying_Theories_of_Programming.
- Unifying_Theories_of_Programming subject Category:1998_books.
- Unifying_Theories_of_Programming subject Category:Computer_science_books.
- Unifying_Theories_of_Programming subject Category:Formal_methods_publications.
- Unifying_Theories_of_Programming type 1998Books.
- Unifying_Theories_of_Programming type Artifact100021939.
- Unifying_Theories_of_Programming type Book106410904.
- Unifying_Theories_of_Programming type ComputerScienceBooks.
- Unifying_Theories_of_Programming type Creation103129123.
- Unifying_Theories_of_Programming type FormalMethodsPublications.
- Unifying_Theories_of_Programming type Object100002684.
- Unifying_Theories_of_Programming type PhysicalEntity100001930.
- Unifying_Theories_of_Programming type Product104007894.
- Unifying_Theories_of_Programming type Publication106589574.
- Unifying_Theories_of_Programming type Whole100003553.
- Unifying_Theories_of_Programming type Work104599396.
- Unifying_Theories_of_Programming comment "Unifying Theories of Programming (UTP) deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of programs and computer systems.The book of this title by C.A.R. Hoare and He Jifeng was published in the Prentice Hall International Series in Computer Science in 1998.".
- Unifying_Theories_of_Programming label "Unifying Theories of Programming".
- Unifying_Theories_of_Programming label "プログラミングの統一理論".
- Unifying_Theories_of_Programming sameAs プログラミングの統一理論.
- Unifying_Theories_of_Programming sameAs m.086qbb.
- Unifying_Theories_of_Programming sameAs Q3513774.
- Unifying_Theories_of_Programming sameAs Q3513774.
- Unifying_Theories_of_Programming sameAs Unifying_Theories_of_Programming.
- Unifying_Theories_of_Programming wasDerivedFrom Unifying_Theories_of_Programming?oldid=544150097.
- Unifying_Theories_of_Programming isPrimaryTopicOf Unifying_Theories_of_Programming.