LEADER 01397nam--2200421---450-
001 990002961660203316
005 20070807172758.0
010   $a3-540-20766-X
035   $a000296166
035   $aUSA01000296166
035   $a(ALEPH)000296166USA01
035   $a000296166
100   $a20070807d2004----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aCASL User Manual$eintroduction to using the common algebrical specification language$fMichel Bidoit, Peter D. Mosses$gwith chapters by Till Massakowski, Donald Sannella and Andrzej Tarlecki
210   $aBerlin [etc.]$cSpringer$dcopyr. 2004
215   $aXIII, 240 p.$cill.$d24 cm.$eCD ROM
225 2 $aLecture notes in computer science$v2900$iTutoral
410  0$12001$aLecture notes in computer science$v2900$iTutoral
454  1$12001
461  1$1001-------$12001
606   $aLinguaggio algebrico
606   $aInformatica
676   $a005.1
700  1$aBIDOIT,$bMichel$0597781
701  1$aMOSSES,$bPeter D.$049437
702  1$aMOSSAKOWSKI,$bTill
801  0$aIT$bsalbc$gISBD
912   $a990002961660203316
951   $a001 LNCS 2900$b31002/CBS$c001 LNCS$d00215329
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070807$lUSA01$h1723
979   $aSENATORE$b90$c20070807$lUSA01$h1727
996   $aCASL User Manual$91026849
997   $aUNISA