Cover Image

Nondeterminism in algebraic specification and algebraic programs /

Bibliographic Details
Main Author: Hussmann, Heinrich, 1959-
Format: Book
Language:English
Published: Boston : Birkhäuser, [1993]
Series:Progress in theoretical computer science.
Subjects:
Computer science > Mathematics.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.M35 H87 1993
 
Call Number Status Get It
QA76.9.M35 H87 1993 Available