Nondeterminism in algebraic specifications and algebraic programs

Bibliographic Information

Nondeterminism in algebraic specifications and algebraic programs

Heinrich Hussmann

(Progress in theoretical computer science)

Birkhäuser, c1993

Available at  / 16 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. [205]-214)

Related Books: 1-1 of 1

Details

Page Top