Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Hermenegildo, Manuel V. (Editor ), Lopez-Garcia, Pedro. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Theoretical Computer Science and General Issues ; 10184
Materias:	Computer logic. Programming languages (Electronic computers). Computer programming. Software engineering. Mathematical logic. Algorithms. Logics and Meanings of Programs. Programming Languages, Compilers, Interpreters. Programming Techniques. Software Engineering. Mathematical Logic and Formal Languages. Algorithm Analysis and Problem Complexity.

Descripción
Descripción Física:	XVI, 361 p. 75 illus. : online resource.
ISBN:	9783319631394

Ejemplares similares