Nondeterminism in Algebraic Specification and Algebraic Programs

Nondeterminism in Algebraic Specifications and Algebraic Programs by Hussmann (E

Nondeterminism in Algebraic Specifications and Algebraic Prog... - 9781468468366

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ...

Hussmann - Nondeterminism in Algebraic Specifications and Algebraic Pr - X555z

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ...

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion

Algebraic Semantics of Imperative - Hardcover, by Goguen Joseph A.; - Good