01490nam--2200385---450 99000102924020331620180312154700.03-540-42479-20102924USA010102924(ALEPH)000102924USA01010292420020312d2001----km-y0ITAy0103-------baENGDELectures on formal methods and performance analysis1st EEF/Euro summer school on trends in computer scienceBerg en Dal, The Netherlands, July 3-7, 2000revised lecturesEd Brinksma ... <et al.> (eds.)Berlin [etc.]Springer-Verlagcopyr. 2001VI, 429 p.ill.20 cmLecture notes in computer science20902001Lecture notes in computer science2090Elaborazione elettronica Metodi formali Congressi 2000004.01Brinksma,EdEEF/Euro summer school on trends in computer scienceBerg en Dal, The Netherlands, July 3-7, 2001revised lectures553404ITACBSISBD990001029240203316001 LNCS (2090)0027191 CBS00100110941BKSCIDIGIUSEPPE9020020312USA01161520020403USA011743DIGIUSEPPE9020020423USA011404PATRY9020040406USA011711Lectures on formal methods and performance analysis977069UNISA