Spelling suggestions: "subject:"programming composing pseudomonads"" "subject:"programming composings pseudomonads""
1 |
Formal specification to functional implementation : an application of mathematical techniques for the development of correct programsSteinitz, Dominic January 2000 (has links)
No description available.
|
Page generated in 0.1146 seconds