@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/class/yago/> .
dbpedia:Unifying_Theories_of_Programming	rdf:type	ns2:ComputerScienceBooks ,
		<http://dbpedia.org/class/yago/1998Books> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Unifying_Theories_of_Programming	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000083594a> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns5:	<http://en.wikipedia.org/wiki/> .
dbpedia:Unifying_Theories_of_Programming	foaf:page	ns5:Unifying_Theories_of_Programming .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:Unifying_Theories_of_Programming	dbpprop:reference	<http://citeseer.ist.psu.edu/context/535366/0> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Unifying_Theories_of_Programming	rdfs:label	"Unifying Theories of Programming"@en ;
	dbpprop:abstract	"Unifying Theories of Programming 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."@en ;
	rdfs:comment	"Unifying Theories of Programming 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."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
dbpedia:Unifying_Theories_of_Programming	skos:subject	<http://dbpedia.org/resource/Category:1998_books> .
@prefix ns9:	<http://dbpedia.org/resource/Category:> .
dbpedia:Unifying_Theories_of_Programming	skos:subject	ns9:Computer_science_books ,
		ns9:Formal_methods .
@prefix ns10:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Unifying_Theories_of_Programming	dbpprop:hasPhotoCollection	ns10:Unifying_Theories_of_Programming .
dbpedia:Unifying_theories_of_programming	dbpprop:redirect	dbpedia:Unifying_Theories_of_Programming .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Unifying_Theories_of_Programming	owl:sameAs	dbpedia:Unifying_Theories_of_Programming .