Tools

LEADER 01575cam 2200373 a 4500

001 ocm32665092;

003 OCoLC;

005 20141212120557.0;

008 950601s1995 gw a b 100 0 eng ;

010 a| 95030323;

020 a| 3540600434 (Berlin : acid-free paper);

035 a| (Sirsi) o32665092;

035 a| (OCoLC)32665092;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

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

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

111 2 a| International Conference on Algebraic Methodology and Software Technologyn| (4th :d| 1995 :c| Montréal, Québec)?| UNAUTHORIZED;

245 10 a| Algebraic methodology and software technology :b| 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings /c| V.S. Alagar, Maurice Nivat (eds.).;

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

300 a| xiv, 591 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| 936;

504 a| Includes bibliographical references.;

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

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

700 1 a| Alagar, Vangalur S.,d| 1940-=| ^A370202;

700 1 a| Nivat, M.=| ^A162578;

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

596 a| 1;

998 a| 585215;

999 a| QA76.758 .I5713 1995w| LCc| 1i| 30372009212496d| 2/19/2013f| 2/19/2013g| 2l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 12/5/1995x| BOOKz| JSTACKSo| .STAFF. 0;

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat (eds.).

Author/creator	International Conference on Algebraic Methodology and Software Technology
Other author	Alagar, Vangalur S., 1940-
Other author	Nivat, M.
Format	Book
Publication Info	Berlin ; New York : Springer, 1995.
Description	xiv, 591 pages : illustrations ; 24 cm.
Subjects	Software engineering--Congresses. Abstract data types (Computer science)--Congresses.

Series	Lecture notes in computer science ; 936 Lecture notes in computer science 936. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	95030323
ISBN	3540600434 (Berlin : acid-free paper)

Availability

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

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat (eds.).

Click here for more information about this title

Availability