Theoretical Aspects of Computing - ICTAC 2015
12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
(Sprache: Englisch)
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...
The 25 revised full papers presented togetherwith 7 invited talks, 3 tool...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Theoretical Aspects of Computing - ICTAC 2015 “
Klappentext zu „Theoretical Aspects of Computing - ICTAC 2015 “
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.
Bibliographische Angaben
- 2015, 1st ed. 2015, XXIV, 620 Seiten, 620 farbige Abbildungen, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Martin Leucker, Camilo Rueda, Frank D. Valencia
- Verlag: Springer, Berlin
- ISBN-10: 331925149X
- ISBN-13: 9783319251493
- Erscheinungsdatum: 25.12.2015
Sprache:
Englisch
Kommentar zu "Theoretical Aspects of Computing - ICTAC 2015"
0 Gebrauchte Artikel zu „Theoretical Aspects of Computing - ICTAC 2015“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Theoretical Aspects of Computing - ICTAC 2015".
Kommentar verfassen