Tools

LEADER 01796cam a22004334a 4500

001 ocm44045563;

003 OCoLC;

005 20141212143304.0;

008 000419s2000 gw a b 101 0 eng ;

010 a| 00032203;

020 a| 3540675302 (softcover : alk. paper);

035 a| (Sirsi) o44045563;

035 a| (OCoLC)44045563;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.758b| .I5713 2000;

072 7 a| QA2| lcco;

082 00 a| 005.1/01/5122| 21;

111 2 a| International Conference on Algebraic Methodology and Software Technologyn| (8th :d| 2000 :c| Iowa City, Iowa)?| UNAUTHORIZED;

245 10 a| Algebraic methodology and software technology :b| 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings /c| Teodor Rus (ed.).;

246 18 a| AMAST 2000, algebraic methodology and software technology;

300 a| xi, 544 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| 1816;

504 a| Includes bibliographical references and index.;

650 0 a| Software engineeringv| Congresses.=| ^A224279;

650 0 a| Abstract data types (Computer science)v| Congresses.=| ^A1235021;

700 1 a| Rus, Teodor.=| ^A394259;

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

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har005123046c| 122.00 DEM;

980 a| 2000-07-12b| 85d| 4.28e| 71.4f| 384397;

596 a| 1;

998 a| 758934;

999 a| QA76.758 .I5713 2000w| LCc| 1i| 30372010799432d| 2/19/2013f| 2/19/2013g| 3l| JGESm| JOYNERp| $71.40r| Ys| Yt| JGESBKu| 7/25/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings / Teodor Rus (ed.).

Author/creator	International Conference on Algebraic Methodology and Software Technology
Other author	Rus, Teodor.
Format	Book
Publication Info	Berlin ; New York : Springer, ©2000.
Description	xi, 544 pages : illustrations ; 24 cm.
Subjects	Software engineering--Congresses. Abstract data types (Computer science)--Congresses.

Spine title	AMAST 2000, algebraic methodology and software technology
Series	Lecture notes in computer science ; 1816 Lecture notes in computer science 1816. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	00032203
ISBN	3540675302 (softcover : alk. paper)

Availability

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

Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings / Teodor Rus (ed.).

Click here for more information about this title

Availability