Proving Programs Correct /
| Hlavní autor: |
Anderson, Robert B.
(
Autor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
New York :
Wiley,
1979.
|
|
|