|
Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki, 1980, Volume 20, Number 5, Pages 1347–1350
(Mi zvmmf5165)
|
|
|
|
Scientific communications
Models of sets of sequences and program verification
S. A. Abramov Moscow
Received: 07.02.1980
Citation:
S. A. Abramov, “Models of sets of sequences and program verification”, Zh. Vychisl. Mat. Mat. Fiz., 20:5 (1980), 1347–1350; U.S.S.R. Comput. Math. Math. Phys., 20:5 (1980), 258–262
Linking options:
https://www.mathnet.ru/eng/zvmmf5165 https://www.mathnet.ru/eng/zvmmf/v20/i5/p1347
|
Statistics & downloads: |
Abstract page: | 141 | Full-text PDF : | 73 |
|