01251nam--2200397---450-99000296167020331620070807173404.03-540-21301-5000296167USA01000296167(ALEPH)000296167USA0100029616720070807d2004----km-y0itay0103----baengDEa|||||||001yyCASL Reference Manualthe complete documentation of the common algebraic specification languagePeter D. MossesBerlin [etc.]Springercopyr. 2004XVII, 528 p.ill.24 cm.CD ROMLecture notes in computer science2960Tutoral2001Lecture notes in computer science2960Tutoral2001001-------2001Linguaggio algebricoInformatica005.1MOSSES,Peter D.49437ITsalbcISBD990002961670203316001 LNCS 296031045/CBS001 LNCS00215330BKSCISENATORE9020070807USA011731SENATORE9020070807USA011734CASL Reference Manual1026848UNISA