Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: King, Andy (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, 4915
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:X, 222 p. online resource.
ISBN:9783540787693
ISSN:2512-2029 ;

Ejemplares similares