| Record ID | marc_loc_updates/v36.i10.records.utf8:1417235:1245 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i10.records.utf8:1417235:1245?format=raw |
LEADER: 01245cam a22003014a 4500
001 00061912
003 DLC
005 20080307112613.0
008 000803s2000 gw b 101 0 eng
010 $a 00061912
020 $a3540678980 (softcover : alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.76.D47$bW33 1999
082 00 $a005.1$221
111 2 $aWADT '99$d(1999 :$cChâteau de Bonas, France)
245 10 $aRecent trends in algebraic development techniques :$b14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers /$cDidier Bert, Christine Choppy, Peter Mosses (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2000.
300 $ax, 476 p. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v1827.
504 $aIncludes bibliographical references and index.
650 0 $aComputer software$xDevelopment$vCongresses.
650 0 $aComputer science$xMathematics$vCongresses.
650 0 $aAbstract data types (Computer science)$vCongresses.
700 1 $aBert, Didier.
700 1 $aChoppy, C.$q(Christine)
700 1 $aMosses, Peter.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0816/00061912-d.html