Tools

LEADER 01266cam a2200349 a 4500

001 ocm27432567;

003 OCoLC;

005 20141212101823.0;

008 930122s1993 maua b 000 0 eng ;

010 a| 93009340;

020 a| 0817637001 (alk. paper);

020 a| 3764337001 (alk. paper);

035 a| (Sirsi) o27432567;

035 a| (OCoLC)27432567;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.9.M35b| H87 1993;

082 00 a| 005.13/12| 20;

100 1 a| Hussmann, Heinrich,d| 1959-=| ^A323161;

245 10 a| Nondeterminism in algebraic specification and algebraic programs /c| Heinrich Hussmann.;

300 a| vii, 253 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Progress in theoretical computer science;

504 a| Includes bibliographical references (p. [205]-214).;

650 0 a| Computer sciencex| Mathematics.=| ^A236643;

830 0 a| Progress in theoretical computer science.=| ^A279350;

596 a| 1;

998 a| 484548;

999 a| QA76.9.M35 H87 1993w| LCc| 1i| 30372007825679d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $49.50r| Ys| Yt| JGESBKu| 10/25/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Nondeterminism in algebraic specification and algebraic programs / Heinrich Hussmann.

Author/creator	Hussmann, Heinrich, 1959-
Format	Book
Publication Info	Boston : Birkhäuser, ©1993.
Description	vii, 253 pages : illustrations ; 25 cm.
Subjects	Computer science--Mathematics.

Series	Progress in theoretical computer science Progress in theoretical computer science. ^A279350
Bibliography note	Includes bibliographical references (p. [205]-214).
LCCN	93009340
ISBN	0817637001 (alk. paper)
ISBN	3764337001 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.M35 H87 1993	✔ Available	Place Hold

Nondeterminism in algebraic specification and algebraic programs / Heinrich Hussmann.

Click here for more information about this title

Availability