Tracked shipping to South Africa with premium packaging for just R199 

Ship to
South Africa
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Theoretical Aspects of Computing - ICTAC 2014. 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Type
Physical Book
Publisher
Author
Year
2014
Language
English
Pages
496
Format
Paperback
ISBN13
9783319108834

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

Dominique Méry;Gabriel Ciobanu (Author) · Springer Nature B.V. · Paperback

Theoretical Aspects of Computing - ICTAC 2014. 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings - Dominique Méry;Gabriel Ciobanu

New Book Imported to South Africa
Delivery: 07 Dec - 16 Dec Shipping: 12 to 16 business days.
R 1,044
R 1,044

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "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 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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews