Fedor
/
Nederlandse-Bibliografie-Totaal-NBT
/
Login
Register
Netwerk Digitaal Erfgoed
Nederlandse Bibliografie Totaal (NBT)
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
Graphs
1
Services
2
p106523406
p106523406
http://data.bibliotheken.nl/id/thes/p106523406
Program verification : fundamental issues in computer science / ed. by Timothy R. Colburn, James H. Fetzer and Terry L. Rankin
contributor
p106523406
http://data.bibliotheken.nl/id/thes/p106523406