Text

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

---

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.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

: Springer Cham., 2015

Collation

-

Language

English

ISBN/ISSN

978-3-319-25150-9

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Software Engineering
Discrete Mathematics in Computer Science
Logics and Meanings of Programs
Programming Languages
Compilers
Interpreters
Mathematical Logic and Formal Languages

Specific Detail Info

-

Statement of Responsibility

Martin Leucker, Camilo Rueda, Frank D. Valencia

Other Information

Cataloger

Yudi

Source

-

Validator

-

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment