| Record ID | ia:recenttrendsinal0000wadt_z8a9 |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/recenttrendsinal0000wadt_z8a9/recenttrendsinal0000wadt_z8a9_marc.xml |
| Download MARC binary | https://www.archive.org/download/recenttrendsinal0000wadt_z8a9/recenttrendsinal0000wadt_z8a9_meta.mrc |
LEADER: 01277cam a22003014a 4500
001 2003065502
003 DLC
005 20080311090919.0
008 031112s2003 gw a b 101 0 eng
010 $a 2003065502
020 $a3540205373 (softcover : alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.76.D47$bW33 2002
082 00 $a005.1$222
111 2 $aWADT 2002$d(2002 :$cFrauenchiemsee, Germany)
245 10 $aRecent trends in algebraic development techniques :$b16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers /$cMartin Wirsing, Dirk Pattinson, Rolf Hennicker.
260 $aBerlin :$aNew York :$bSpringer-Verlag,$cc2003.
300 $aviii, 456 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v2755
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 $aWirsing, M.$q(Martin)
700 1 $aPattinson, Dirk,$d1970-
700 1 $aHennicker, Rolf,$d1952-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0818/2003065502-d.html