Tools

LEADER 01898cam 22004814a 4500

001 ocm44750756;

003 OCoLC;

005 20141212145019.0;

008 000803s2000 gw b 101 0 eng ;

010 a| 00061912;

015 a| GBA0-61831;

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

035 a| (Sirsi) o44750756;

035 a| (OCoLC)44750756;

042 a| pcc;

049 a| EREE;

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

072 7 a| QA2| lcco;

082 00 a| 005.12| 21;

111 2 a| WADT '99d| (1999 :c| Château de Bonas, France)=| ^A467114;

245 10 a| Recent trends in algebraic development techniques :b| 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers /c| Didier Bert, Christine Choppy, Peter Mosses (eds.).;

300 a| x, 476 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

504 a| Includes bibliographical references and index.;

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| Bert, Didier.=| ^A404056;

700 1 a| Choppy, C.q| (Christine)=| ^A314657;

700 1 a| Mosses, Peter.=| ^A327614;

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

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har005138645c| 106.00 DEM;

980 a| 2000-12-20b| 73d| 3.68e| 61.32f| 642782;

596 a| 1;

998 a| 779122;

999 a| QA76.76.D47 W33 1999w| LCc| 1i| 30372010920541d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERp| $61.32r| Ys| Yt| JGESBKu| 1/8/2001x| BOOKz| JSTACKSo| .STAFF. 0;

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers / Didier Bert, Christine Choppy, Peter Mosses (eds.).

Author/creator	WADT '99
Other author	Bert, Didier.
Other author	Choppy, C. (Christine)
Other author	Mosses, Peter.
Format	Book
Publication Info	Berlin ; New York : Springer, ©2000.
Description	x, 476 pages ; 24 cm.
Subjects	Computer software--Development. --Congresses. Computer science--Mathematics. --Congresses. Abstract data types (Computer science)--Congresses.

Series	Lecture notes in computer science ; 1827 Lecture notes in computer science 1827. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	00061912
ISBN	3540678980 (softcover : alk. paper)

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers / Didier Bert, Christine Choppy, Peter Mosses (eds.).

Click here for more information about this title