Nondeterminism in algebraic specification and algebraic programs

Saved in:
Bibliographic Details
Main Author: Hussmann, Heinrich 1959-
Format: Book
Published: Boston Birkhauser 1993
Series:Progress in theoretical computer science
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:253 p. ill. 24 cm
Bibliography:Includes bibliographical references.
ISBN:0817637001