Introduction to program verification / K.R. Apt, E.-R. Olderog

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

schema:ProductModel schema:Book schema:CreativeWork
rdfs:label "Introduction to program verification / K.R. Apt, E.-R. Olderog"
schema:name "Introduction to program verification"
schema:author Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
Apt, Krzysztof R. (1949-)
schema:contributor Olderog, Ernst-Rùˆdiger
schema:sameAs <http://www.worldcat.org/oclc/65805714>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/379f146ff434d20498d80cd5595d977c>
http://purl.org/dc/terms#issued "1990"
schema:about systeemontwikkeling (informatica)
schema:inLanguage "en"
schema:isPartOf Report / Department of Computer Science
schema:numberOfPages 70
schema:publication <https://data.bibliotheken.nl/.well-known/genid/45e44e20a272de81c5f0eb1c2d860890>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql