Hasta 50% de dto en libros de todo el mundo  Ver más

Enviar a
Montevideo, Montevideo
0

Mi Cuenta

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

menú

Selecciona tu país

América

Europa

Resto del mundo

portada Theoretical Aspects of Computing - ICTAC 2014. 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (en Inglés)
Formato
Libro Físico
Editorial
Autor
Año
2014
Idioma
Inglés
N° páginas
496
Encuadernación
Tapa Blanda
ISBN13
9783319108834

Theoretical Aspects of Computing - ICTAC 2014. 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (en Inglés)

Dominique Méry;Gabriel Ciobanu (Autor) · Springer Nature B.V. · Tapa Blanda

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

Libro Nuevo Importado
Envío: 17 a 23 días háb.
$ 4.426$ 2.213
-50%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan 50 unidades

$ 2.213
Llega entre el 01 Dic y el 09 Dic a Montevideo, Montevideo. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "Theoretical Aspects of Computing - ICTAC 2014. 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (en Inglés)"

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.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes