Tools

LEADER 01928cam 2200493Ia 4500

001 ocm70268228;

003 OCoLC;

005 20141211191651.0;

008 060707s2006 gw 101 0 eng d;

010 a| 2006928059;

015 a| GBA6661452| bnb;

016 7 a| 0135195742| Uk;

020 a| 3540356339 (pbk.);

020 a| 9783540356332;

029 0 a| OHXb| har065013048;

035 a| (Sirsi) o70268228;

035 a| (OCoLC)70268228;

049 a| EREE;

050 4 a| QA76.758b| .I5713 2006;

072 7 a| QA2| lcco;

082 04 a| 005.12| 22;

111 2 a| International Conference on Algebraic Methodology and Software Technologyn| (11th :d| 2006 :c| Kingissepa, Estonia)?| UNAUTHORIZED;

245 10 a| Algebraic methodology and software technology :b| 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings /c| Michael Johnson, Varmo Vene (eds.).;

246 30 a| AMAST 2006;

260 a| Berlin ;a| New York :b| Springer,c| 2006.;

300 a| xi, 387 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| 4019,x| 0302-9743 ;;

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| Johnson, Michael.=| ^A286873;

700 1 a| Vene, Varmo.=| ^A609242;

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har065013048c| 55.64 EUR;

980 a| 2006-08-23b| 72d| 0e| 68.4f| 947805;

596 a| 1;

998 a| 1052678;

999 a| QA76.758 .I5713 2006w| LCc| 1i| 30372013607020d| 2/19/2013f| 2/19/2013g| 2l| JGESm| JOYNERp| $68.40r| Ys| Yt| JGESBKu| 9/6/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings / Michael Johnson, Varmo Vene (eds.).

Author/creator	International Conference on Algebraic Methodology and Software Technology
Other author	Johnson, Michael.
Other author	Vene, Varmo.
Format	Book
Publication Info	Berlin ; New York : Springer, 2006.
Description	xi, 387 pages : illustrations ; 24 cm.
Subjects	Software engineering--Congresses. Abstract data types (Computer science)--Congresses.

Portion of title	AMAST 2006
Series	Lecture notes in computer science ; 4019, 0302-9743 ; Lecture notes in computer science 4019. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	2006928059
ISBN	3540356339 (pbk.)
ISBN	9783540356332

Availability

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

Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings / Michael Johnson, Varmo Vene (eds.).

Click here for more information about this title

Availability