Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Puebla, Germán (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Theoretical Computer Science and General Issues, 4407
Temas:
Software engineering.
Computer science.
Computer programming.
Machine theory.
Artificial intelligence.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Programming Techniques.
Formal Languages and Automata Theory.
Artificial Intelligence.
Acceso en línea:Texto Completo
Descripción
Descripción Física:VIII, 240 p. online resource.
ISBN:9783540714101
ISSN:2512-2029 ;

Ejemplares similares