On the refinement calculus /
Uloženo v:
| Další autoři: | , |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydáno: |
London :
Springer-Verlag,
1992.
|
| Edice: | Formal approaches to computing and information technology
|
| Témata: |
| Fyzický popis: | 159 p. ; 25 cm. |
|---|---|
| Bibliografie: | Bibliography: p. 155-158. |
| ISBN: | 0387198091 3540198091 |