01397nam--2200421---450-99000296166020331620070807172758.03-540-20766-X000296166USA01000296166(ALEPH)000296166USA0100029616620070807d2004----km-y0itay0103----baengDEa|||||||001yyCASL User Manualintroduction to using the common algebrical specification languageMichel Bidoit, Peter D. Mosseswith chapters by Till Massakowski, Donald Sannella and Andrzej TarleckiBerlin [etc.]Springercopyr. 2004XIII, 240 p.ill.24 cm.CD ROMLecture notes in computer science2900Tutoral2001Lecture notes in computer science2900Tutoral2001001-------2001Linguaggio algebricoInformatica005.1BIDOIT,Michel597781MOSSES,Peter D.49437MOSSAKOWSKI,TillITsalbcISBD990002961660203316001 LNCS 290031002/CBS001 LNCS00215329BKSCISENATORE9020070807USA011723SENATORE9020070807USA011727CASL User Manual1026849UNISA