Alles van: Gerard Tel
Resultaat 1 - 2 (van 2)
A.A. Schoone | Gerard Tel Assertional verification of a termination detection algorithm
Non-fictie
Engels | 17 pagina's | Department of Computer Science, University of Utrecht, Utrecht | 1988
Gedrukt boek
A.A. Schoone | Gerard Tel Transformation of a termination detection algorithm and its assertional correctness proof
Non-fictie
Engels | 19 pagina's | Department of Computer Science, University of Utrecht, Utrecht | 1988
Gedrukt boek