Theoretical Aspects of Computing - ICTAC 2014
11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 74 submissions. The papers cover various topics such as automata theory and formal languages; principles and semantics of programming languages; theories of concurrency, mobility and reconfiguration; logics and their applications; software architectures and their models, refinement and verification; relationship between software requirements, models and co…
Mehr
CHF 92.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
Weitere Autoren: Ciobanu, Gabriel (Hrsg.)
- ISBN: 978-3-319-10881-0
- EAN: 9783319108810
- Produktnummer: 16691977
- Verlag: Springer International Publishing
- Sprache: Englisch
- Erscheinungsjahr: 2014
- Seitenangabe: 496 S.
- Masse: H23.5 cm x B15.5 cm x D2.6 cm 744 g
- Auflage: 2014
- Abbildungen: Paperback
- Gewicht: 744
12 weitere Werke von Dominique (Hrsg.) Méry:
Bewertungen
Anmelden