|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with V. F. Yelesin Experts' decision, 28.12.1983(?) on the paper "Mixed computation and program verification" by A.V. Grokh; a covering letter, memo and information about confidential data used in this paper are enclosed
Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
