Computer Science Report of Stanford University. 417, Some Thoughts on Proving Clean termination of Programs /
| Hlavní autor: |
Sites, Richard L.
(
Autor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Stanford :
Stanford University,
1974
|
| Předmět: | |
|
|