Häftad, Engelska, 2015
Theoretical Aspects of Computing - ICTAC 2015
Av Martin Leucker, Camilo Rueda, Frank D. Valencia
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum: 2015-12-25
- Mått: 155 x 235 x 35 mm
- Vikt: 961 g
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 620
- Upplaga: 15001
- Förlag: Springer International Publishing AG
- ISBN: 9783319251493
Utforska kategorier
Butikslager
Ej i lager i butik.
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.