Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Theoretical Aspects of Computing - ICTAC 2015
CHF 95.15
Auf Lager
SKU
IC3JH88I7ON
1 Verfügbar 
Geliefert zwischen Mi., 28.01.2026 und Do., 29.01.2026
Details
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.
Includes supplementary material: sn.pub/extras
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319251493
- Genre Information Technology
- Auflage 1st edition 2015
- Editor Martin Leucker, Frank D. Valencia, Camilo Rueda
- Lesemotiv Verstehen
- Anzahl Seiten 644
- Größe H235mm x B155mm x T35mm
- Jahr 2015
- EAN 9783319251493
- Format Kartonierter Einband
- ISBN 331925149X
- Veröffentlichung 25.12.2015
- Titel Theoretical Aspects of Computing - ICTAC 2015
- Untertitel 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
- Gewicht 961g
- Herausgeber Springer International Publishing
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
