The foundations of program verification /
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Stuttgart :
B. G. Teubner,
c1987.
|
| Edice: | Wiley-Teubner Series in Computer Science
|
| Témata: |
| Fyzický popis: | ix, 230 s. |
|---|---|
| ISBN: | 3-519-12101-8 |