Tools

LEADER 01234cam 2200337 a 4500

001 ocm20672178;

005 20141212082014.0;

008 891031s1989 wb a b 001 0 eng ;

010 a| 89026115;

020 a| 0387516263 (U.S.);

035 a| (Sirsi) o20672178;

035 a| (OCoLC)20672178;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.758b| .H67 1989;

082 00 a| 005.1/01/51022| 20;

100 1 a| Horebeek, Ivo van,d| 1959-=| ^A264337;

245 10 a| Algebraic specifications in software engineering :b| an introduction /c| Ivo van Horebeek, Johan Lewi.;

260 a| Berlin ;a| New York :b| Springer-Verl c1989.;

300 a| xiv, 350 pages :b| illustrations ;c| 25 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references (p. [327]-342) and index.;

650 0 a| Software engineering.=| ^A229299;

650 0 a| Abstract data types (Computer science)=| ^A191887;

700 1 a| Lewi, Johan.=| ^A216283;

919 a| BOOK;

596 a| 1;

998 a| 379037;

999 a| QA76.758 .H67 1989w| LCc| 1i| 30372005742736d| 2/19/2013e| 11/30/1995f| 2/19/2013g| 2l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 3/1/1991x| BOOKz| JSTACKSo| .STAFF. 0;

Algebraic specifications in software engineering an introduction / Ivo van Horebeek, Johan Lewi.

Author/creator	Horebeek, Ivo van, 1959-
Other author	Lewi, Johan.
Format	Book
Publication Info	Berlin ; New York : Springer-Verl c1989.
Description	xiv, 350 pages : illustrations ; 25 cm
Subjects	Software engineering. Abstract data types (Computer science)

Bibliography note	Includes bibliographical references (p. [327]-342) and index.
LCCN	89026115
ISBN	0387516263 (U.S.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.758 .H67 1989	✔ Available	Place Hold

Algebraic specifications in software engineering an introduction / Ivo van Horebeek, Johan Lewi.

Click here for more information about this title

Availability