LEADER 01251nam--2200397---450-
001 990002961670203316
005 20070807173404.0
010   $a3-540-21301-5
035   $a000296167
035   $aUSA01000296167
035   $a(ALEPH)000296167USA01
035   $a000296167
100   $a20070807d2004----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aCASL Reference Manual$ethe complete documentation of the common algebraic specification language$fPeter D. Mosses
210   $aBerlin [etc.]$cSpringer$dcopyr. 2004
215   $aXVII, 528 p.$cill.$d24 cm.$eCD ROM
225 2 $aLecture notes in computer science$v2960$iTutoral
410  0$12001$aLecture notes in computer science$v2960$iTutoral
454  1$12001
461  1$1001-------$12001
606   $aLinguaggio algebrico
606   $aInformatica
676   $a005.1
700  1$aMOSSES,$bPeter D.$049437
801  0$aIT$bsalbc$gISBD
912   $a990002961670203316
951   $a001 LNCS 2960$b31045/CBS$c001 LNCS$d00215330
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070807$lUSA01$h1731
979   $aSENATORE$b90$c20070807$lUSA01$h1734
996   $aCASL Reference Manual$91026848
997   $aUNISA