01722nam2-2200421li-450 99000020774020331620180312154740.03-540-65703-70020774USA010020774(ALEPH)000020774USA01002077420001109d1999----km-y0itay0103----baengGWTools and algorithms for the construction and analysis of systemsInternational conference, TACAS '99 held as part of the joint European conferences on theory and practice of software, ETAPS '99Amsterdam, The Netherlands, March 22-28, 1999proceedingsW. Rance Cleaveland (ed.)Berlin [etc.]Springer-Verlagcopyr. 1999XI, 443 p.ill.24 cmLecture notes in computer science157900100202642001Lecture notes in computer sciencecongressiamsterdam1999elaboratori elettroniciprogrammazionecongressi1999softwareprogettazionecongressi199900421Analisi e progettazione dei sistemiCleaveland,W. RanceInternational conference TACAS '995.Amsterdam1999747226Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207740203316001 LNCS (1579)002342700100104234BKSCI1999052120001110USA011714ALANDI9020010208USA01121620020403USA011628PATRY9020040406USA011615Tools and algorithms for the construction and analysis of systems1492525UNISA