| Record ID | marc_loc_2016/BooksAll.2016.part24.utf8:111744456:1153 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part24.utf8:111744456:1153?format=raw |
LEADER: 01153cam a2200265 a 4500
001 95030323
003 DLC
005 20080308084644.0
008 950601s1995 gw a b 100 0 eng
010 $a 95030323
020 $a3540600434 (Berlin : acid-free paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.758$b.I5713 1995
082 00 $a005.1/01/512$220
111 2 $aInternational Conference on Algebraic Methodology and Software Technology$n(4th :$d1995 :$cMontréal, Québec)
245 10 $aAlgebraic methodology and software technology :$b4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings /$cV.S. Alagar, Maurice Nivat (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$c1995.
300 $axiv, 591 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v936
504 $aIncludes bibliographical references.
650 0 $aSoftware engineering$xCongresses.
650 0 $aAbstract data types (Computer science)$xCongresses.
700 1 $aAlagar, Vangalur S.,$d1940-
700 1 $aNivat, M.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/95030323-d.html