Tools for proofs and programs / Leendert Helmink

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

Proefschrift Universiteit van Amsterdam

rdfs:label	"Tools for proofs and programs / Leendert Helmink"
schema:name	"Tools for proofs and programs"
schema:author	Helmink-Habes, H.
	Philips Electronics (Eindhoven)
schema:description	"Proefschrift Universiteit van Amsterdam"
schema:sameAs	<http://www.worldcat.org/oclc/66210676>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/706eede9c51d28a9ce9ddfeb69208c3a>
http://purl.org/dc/terms#issued	"1993"
schema:about	Ontwerpen
	<http://data.bibliotheken.nl/id/thes/p077605306>
	programmeren
	Reliability
	wiskunde
	Bewijs (wetenschap)
	Software
schema:inLanguage	"en"
schema:numberOfPages	172
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/3b57dd2f991f88d04a8f00637b7b9b53>