|
|
Bonsangue, M.
Semantics,orderings and recursion in the weakest precondition calculus [Text] : монография / M. Bonsangue, J. N. Kok. - Amsterdam : [s. n.], 1992. - 58 c. - (Rep./Centrum voor wiskunde en informatica,Computer science/Dep.of software technology, ISSN 0169-118X ; CS-R9267). - Б. ц.
; Библиогр.:с.53-54
Перевод заглавия: 0 ^aСемантика,упорядочение и рекурсия в анализе со слабыми предварительными условиями
Перевод заглавия: 0 ^aСемантика,упорядочение и рекурсия в анализе со слабыми предварительными условиями
Кл.слова (ненормированные):
0 ; рекурсия;предварительные условия
Доп.точки доступа:
Kok, J.N.
Свободных экз. нет
|
|