Vista normal Vista MARC Vista ISBD

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings Hubert Garavel, John Hatcliff (eds.). - Berlin ; Springer, c2003. - xvi, 604 p. : il. ; 24 cm. - Lecture notes in computer science, . - Lecture notes in computer science (Springer). ; 2619 .

Incluye índice.

ISBN: 3540008985

Subjects--Topical Terms:
Análisis de sistemas
Algoritmo
Cálculo (Matemáticas)

Dewey Class. No.: 005.1