|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with Alexander V. Grokh 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
Notebook, 06.10.1983-10.10.1983notes made during the School on Mixed Computation
Paperby A.V. Grokh and A.G. Krasovsky "Mixed calculation and verification of symbol manipulation"
Paper"Mixed computation and program verification"
Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
