Publications in Math-Net.Ru
-
The automatic testing system. Tracking of the object of control
Keldysh Institute preprints, 2014, 079, 23 pp.
-
The automatic testing system. Dipol programming language
Keldysh Institute preprints, 2014, 007, 23 pp.
-
The automatic testing system. Simulators
Keldysh Institute preprints, 2011, 019, 24 pp.
-
A computer-aided testing system
Keldysh Institute preprints, 2008, 029, 14 pp.
-
On the concept of function in the language ALGOL 60
Zh. Vychisl. Mat. Mat. Fiz., 10:2 (1970), 530–532
-
On the implementation of recursive procedures
Zh. Vychisl. Mat. Mat. Fiz., 7:6 (1967), 1346–1357
© , 2024