Dynamic interpretation and Hoare deduction / D.J.N. van Eijck, F.-J. de Vries

<http://data.bibliotheken.nl/id/nbt/p085933198>

schema:CreativeWork schema:Book schema:ProductModel
rdfs:label "Dynamic interpretation and Hoare deduction / D.J.N. van Eijck, F.-J. de Vries"
schema:name "Dynamic interpretation and Hoare deduction"
schema:author Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
Eijck, Dingeman Johannes Norbertus van (1951-)
schema:contributor Vries, Ferdinand Jan de (1956-)
schema:sameAs <http://www.worldcat.org/oclc/65554300>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/a27f7e307a3db76077ac41cc58b569ff>
http://purl.org/dc/terms#issued "1991"
schema:about semantiek
programmeertalen
schema:inLanguage "en"
schema:isPartOf Report / Department of Computer Science
schema:numberOfPages 27
schema:publication <https://data.bibliotheken.nl/.well-known/genid/fc19cd75fe214df5f3593ee33a320540>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql