Tools and algorithms for the construction and analysis of systems /
Tiziana Margarita, Wang Yi, (eds.)
- 588 páginas
- Lecture notes in computer science, 2031 .
- Lecture notes in computer science .
Subtitulo :7th International Conference, TACAS'2001 : held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, april 2-6, 2001, proceedings
3540418652
Diseño de sistemas--Congresos Software para computadora--Desarrollo--Congresos Procedimiento electronico de datos--Multiproceso--Congresos