Theoretical Aspects of Computing - ICTAC 2015

12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

AvFrank D. Valencia,Camilo Rueda

E-bok
PDF, Engelska, 2015

693 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning

This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015.

The 25 revised full papers presented togetherwith 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewedand selected from 93 submissions. The papers cover various topics such asalgebra and category theory; automata and formal languages; concurrency;constraints, logic and semantic; software architecture and component-baseddesign; and verification.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Formal Methods

Martin Leucker, Joost-Pieter Katoen, Marsha Chechik

E-bok
2023

1 408 kr

Formal Methods

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Häftad, 2023

1 114 kr