Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ramakrishnan, C.R (Editor ), Rehof, Jakob (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Theoretical Computer Science and General Issues, 4963
Temas:
Software engineering.
Computer science.
Computer networks .
Algorithms.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
Acceso en línea:Texto Completo
Descripción
Descripción Física:XVI, 520 p. online resource.
ISBN:9783540788003
ISSN:2512-2029 ;

Ejemplares similares