Transformational Programming and the Derivation of Algorithms (Q4932639)
From MaRDI portal
scientific article; zbMATH DE number 5796603
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Transformational Programming and the Derivation of Algorithms |
scientific article; zbMATH DE number 5796603 |
Statements
Transformational Programming and the Derivation of Algorithms (English)
0 references
6 October 2010
0 references
formal specification
0 references
