Tools

LEADER 01382cam a2200385 a 4500

001 ocm37663185;

003 OCoLC;

005 20141212131124.0;

008 970916s1997 gw a b 001 0 eng ;

010 a| 97031867;

015 a| GB97-70184;

019 a| 37891070;

020 a| 3540636137 (sc : alk. paper);

035 a| (Sirsi) o37663185;

035 a| (OCoLC)37663185;

049 a| EREE;

050 00 a| QA76.758b| .H87 1997;

072 7 a| QA2| lcco;

082 00 a| 005.1/13/0151132| 21;

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

245 10 a| Formal foundations for software engineering methods /c| Heinrich Hussmann.;

300 a| x, 286 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

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

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

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

938 a| Otto Harrassowitzb| HARRn| har000530055c| 66.00 DEM;

596 a| 1;

998 a| 645894;

999 a| QA76.758 .H87 1997w| LCc| 1i| 30372010283270d| 2/19/2013f| 2/19/2013g| 2l| JGESm| JOYNERp| $41.16r| Ys| Yt| JGESBKu| 3/22/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Formal foundations for software engineering methods / Heinrich Hussmann.

Author/creator	Hussmann, Heinrich, 1959-
Format	Book
Publication Info	Berlin ; New York : Springer, ©1997.
Description	x, 286 pages : illustrations ; 24 cm.
Subjects	Software engineering.

Series	Lecture notes in computer science ; 1322 Lecture notes in computer science 1322. ^A466336
Bibliography note	Includes bibliographical references (p. [271]-277) and index.
LCCN	97031867
ISBN	3540636137 (sc : alk. paper)

Availability

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

Formal foundations for software engineering methods / Heinrich Hussmann.

Click here for more information about this title

Availability