Record ID | marc_records_scriblio_net/part25.dat:12628482:1050 |
Source | Scriblio |
Download Link | /show-records/marc_records_scriblio_net/part25.dat:12628482:1050?format=raw |
LEADER: 01050pam 2200253 a 4500
001 95030323
003 DLC
005 19951004162023.5
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.