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
p155432583
p155432583
http://data.bibliotheken.nl/id/thes/p155432583
Formal methods and mechanical verification applied to the development of a convergent distributed sorting program / T.E.J. Vos, S.D. Swierstra and I.S.W.B. Prasetya
UNITY in diversity : a stratified approach to the verification of distributed algorithms / Tanja Ernestina Jozefina Vos
author
Software testen / course team prof. dr. T.E.J. Vos, dr. N. van Vugt-Hage
Software testen / T.E.J. Vos
contributor
p155432583
http://data.bibliotheken.nl/id/thes/p155432583