ENGLISH

Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

By Nikhil Bansal , Irene Finocchi (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2015
ISBN
978-3-662-48349-7, 978-3-662-48350-3
DOI
10.1007/978-3-662-48350-3
Language
english
Format
PDF
Filesize
26 MB (27578345 bytes)
Series
Lecture Notes in Computer Science 9294
Edition
1
Pages
XXIII, 1053\1075
Time added
2016-03-14 21:35:01
CompilersInterpreters; Discrete Mathematics in Computer SciLogics and Meanings of Programs; Programming Langu

Description

This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory; automata and formal languages; concurrency; constraints, logic and semantic; software architecture and component-based design; and verification.

Similar books