documents
about archive
about project
Andrei Ershov
in Russian
Archive
Scientific Work
1972 Works
Article "Axiomatics for Memory Allocation"
Translation (hand-written))
Translation (hand-written))
Date: 14.02.1972- 18.02.1982
Original document language: English
Authors:
Andrei Petrovich Ershov
Images of pages:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
Back
Next document (Article)
Previous document (Article)
Switch to Russian
|
Search
|
Advanced search
|
Folders
| Themes
Home
Help
in Russian
Webmaster
©
Ershov's Institute of Informatics Systems
, 2000-2016