Dokazatel'stvo pravil'nosti programm = [Orig.: Proving programs correct] /
| Hlavní autor: |
Anderson, Robert B.
(
Autor )
|
|---|---|
| Další autoři: |
Zobninoj, B. N.
(
Překladatel )
|
| Typ dokumentu: | Kniha |
| Jazyk: |
ruština angličtina |
| Vydavatel: |
Moskva :
Mir,
1982.
|
|
|