Tools

LEADER 01180cam a22003258a 4500

001 ocm23693091;

005 20141212084322.0;

008 910403s1991 gw 000 0 eng ;

010 a| 91013193;

020 a| 0387540601 (U.S. : alk. paper);

035 a| (Sirsi) o23693091;

035 a| (OCoLC)23693091;

049 a| EREE;

050 00 a| QA76.9.S88b| A5 1991;

082 00 a| 004.2/12| 20;

245 00 a| Algebraic system specification and development :b| a survey and annotated bibliography /c| M. Bidoit [and others], eds.;

300 a| viii, 98 pages ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 501;

650 0 a| System design.=| ^A123910;

700 1 a| Benoit, M.q| (Michel),d| 1957-?| UNAUTHORIZED;

830 0 a| Lecture notes in computer sciencev| 501.=| ^A466336;

919 a| BOOK;

596 a| 1;

998 a| 400861;

999 a| QA76.9.S88 A5 1991w| LCc| 1i| 30372005991291d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 11/13/1991x| BOOKz| JSTACKSo| .STAFF. 0;

Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit [and others], eds.

Other author	Benoit, M. (Michel), 1957-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1991.
Description	viii, 98 pages ; 25 cm.
Subjects	System design.

Series	Lecture notes in computer science ; 501 Lecture notes in computer science 501. ^A466336
LCCN	91013193
ISBN	0387540601 (U.S. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.S88 A5 1991	✔ Available	Place Hold

Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit [and others], eds.

Click here for more information about this title

Availability