01284nam--2200397---450-99000295202020331620070914104438.03-540-24936-2000295202USA01000295202(ALEPH)000295202USA0100029520220070629d2005----km-y0itay50------baengDE||||||||001yyFormal Methods in Software and Systems ModelingHans-Jorg Kreowski...[et al.](eds.)Berlin [etc.]Springercopyr. 2005XXVII, 411 p.24 cmLecture notes in computer science3393sul front. : Essays dedicated to Hartmut Ehrig on the occasion of his 60th Birthday2001Lecture notes in computer science33932001001-------2001InternetSaggi004.678KREOWSKI,Hans-Jorg597505ITsalbcISBD990002952020203316001 LNCS 339331820 CBS00100112452BKSCISENATORE9020070629USA011227SENATORE9020070914USA011044Formal Methods in Software and Systems Modeling1031631UNISA