Tools

LEADER 02174cam a22005174a 4500

001 ocm53477065;

003 OCoLC;

005 20141212174209.0;

007 cr un---------;

008 031112s2003 gw a b 101 0 eng ;

010 a| 2003065502;

016 7 a| 9691912002| GyFmDB;

020 a| 3540205373 (alk. paper);

035 a| (Sirsi) o53477065;

035 a| (OCoLC)53477065;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.76.D47b| W33 2002;

072 7 a| QA2| lcco;

082 00 a| 005.12| 22;

111 2 a| WADT 2002d| (2002 :c| Frauenchiemsee, Germany)=| ^A574596;

245 10 a| Recent trends in algebraic development techniques :b| 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers /c| Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.).;

300 a| viii, 456 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

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

504 a| Includes bibliographical references and index.;

530 a| Also available via the World Wide Web.;

650 0 a| Computer softwarex| Developmentv| Congresses.=| ^A191775;

650 0 a| Computer sciencex| Mathematicsv| Congresses.=| ^A248247;

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

700 1 a| Wirsing, M.q| (Martin)=| ^A213021;

700 1 a| Pattinson, Dirk,d| 1970-=| ^A574597;

700 1 a| Hennicker, Rolf,d| 1952-=| ^A574598;

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

856 41 u| http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2755z| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har030135876c| 62.06 EUR;

980 a| 2004-02-18b| 75d| 4.99e| 71.25f| 341606;

596 a| 1;

998 a| 951597;

999 a| QA76.76.D47 W33 2002w| LCc| 1i| 30372012231806d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERp| $71.25r| Ys| Yt| JGESBKu| 3/3/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.).

Author/creator	WADT 2002
Other author	Wirsing, M. (Martin)
Other author	Pattinson, Dirk, 1970-
Other author	Hennicker, Rolf, 1952-
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2003.
Description	viii, 456 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Computer software--Development. --Congresses. Computer science--Mathematics. --Congresses. Abstract data types (Computer science)--Congresses.

Series	Lecture notes in computer science ; 2755 Lecture notes in computer science 2755. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2003065502
ISBN	3540205373 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.D47 W33 2002	✔ Available	Place Hold

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.).

Click here for more information about this title

Availability