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

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

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Hermenegildo, Manuel V. (Editor), Lopez-Garcia, Pedro. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Theoretical Computer Science and General Issues ; 10184
Subjects:
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.

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items