Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Theoretical Aspects of Computing - Ictac 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Theoretical Aspects of Computing - Ictac 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Ciobanu, Gabriel
Méry, Dominique

Paperback

General ComputersProgramming

ISBN10: 3319108816
ISBN13: 9783319108810
Publisher: Springer
Published: Sep 23 2014
Pages: 478
Weight: 1.52
Height: 1.00 Width: 6.14 Depth: 9.21
Language: English
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 code.- Static and dynamic program analysis and verification.- Software specification, refinement, verification and testing.- Model checking and theorem proving.- Models of object and component systems.- Coordination and feature interaction.- Integration of theories, formal methods and tools for engineering computing systems.- Service-oriented architectures: models and development methods.- Models of concurrency, security, and mobility.- Theories of distributed, grid and cloud computing.- Real-time, embedded, hybrid and cyber-physical systems.- Type and category theory in computer science.- Models for e-learning and education.- Case studies, theories, tools and experiments of verified systems.- Domain-specific modeling and technology: examples, frameworks and practical experience.- Challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.

Also in

Programming

View All