Vista normal Vista MARC Vista ISBD

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

ISBN: 3540418652

Subjects--Topical Terms:
Diseño de sistemas--Congresos
Software para computadora--Desarrollo--Congresos
Procedimiento electronico de datos--Multiproceso--Congresos

LC Class. No.: QA76.9S88 / I58 2001