| 000 | 01194 a2200289 4500 | ||
|---|---|---|---|
| 010 | _a 2005922176 | ||
| 020 | _a3540253270 (pbk. : acid-free paper) | ||
| 024 | 3 | _a9783540253273 | |
| 035 | _a | ||
| 082 | 0 | 0 | _a005.1 |
| 090 |
_c160 _d160 |
||
| 245 | 1 | 0 |
_aRecent trends in algebraic development techniques _b17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers _cJosé Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.) |
| 246 | 3 | 0 | _aWADT 2004 |
| 260 |
_aBerlin _aNew York _bSpringer _cc2005 |
||
| 300 |
_aviii, 269 p _bill _c24 cm |
||
| 440 | 0 |
_aLecture notes in computer science _v3423 |
|
| 500 | _a"WADT 2004 took place at the Technical University of Catalonia (UPC)"--Pref | ||
| 650 | 0 |
_aComputer software _xDevelopment |
|
| 650 | 0 |
_aComputer science _xMathematics |
|
| 650 | 0 | _aAbstract data types (Computer science) | |
| 700 | 1 |
_aFiadeiro, José Luiz _d1961- |
|
| 700 | 1 | _aMosses, Peter | |
| 700 | 1 | _aOrejas, F | |
| 856 | 4 | 1 | _uhttp://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3423 |
| 856 | 4 | 1 |
_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0663/2005922176-d.html |
| 942 | _cCART | ||
| 999 |
_c138 _d138 |
||