Nondeterminism in algebraic specifications and algebraic programs
By: Heinrich Hussmann.
Series: Progress in theoretical computer science
Publisher: Birkhäuser
Published: 1993
Place of publication: Boston
Language: eng
Number of pages: 253
Subjects: Computer science -- Mathematics.
Notes: Includes bibliographical references (p. [205]-214).