Zoekresultaten
Resultaat 1 - 4 (van 4)
Wim H. Hesselink NQTHM proving sequential programs
Non-fictie
Engels | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1994
Gedrukt boek
Wim H. Hesselink Wait-free linearization with a mechanical proof
Non-fictie
Engels | 28 pagina's | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1993
Gedrukt boek
C. Bron | Wim H. Hesselink Smoothsort revisited
Non-fictie
Engels | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1990
Gedrukt boek
Wim H. Hesselink NQTHM proving imperative programs
Non-fictie
Engels | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1996
Gedrukt boek