Shelfclass_id | 3.D.1 |
Sortkey | HUSSMANN, HEINRICH |
Authors | Heinrich Hussmann |
Title | Nondeterminism in Algebraic Specifications and Algebraic Programs |
Publisher | Birkhäuser |
Year | c1993 |
Languages | eng |
Isbn | 0817637001, 3764337001 |
Series | Progress in theoretical computer science |
Description | (alk. paper) (alk. paper) vii, 253 p. ill. 25 cm |
Record date | 20060629 |
Location | Boston |
Keywords | Computer science |