×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Backhouse, Roland (ed.) et al., Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10–14, 2000. Revised lectures. Berlin: Springer (ISBN 3-540-43613-8). Lect. Notes Comput. Sci. 2297, 281-308 (2002).
MSC:  68N30 68N18 68Q65
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification