Name: Formal Aspects of Component Software: 14th International Conference, Facs 2017, Braga, Portugal, October 10-13, 2017, Proceedings (en Inglés)
SKU: 58797277
Price: 935.16 MXN
Availability: InStock
Author: Proença, José ; Lumpe, Markus
ISBN: 9783319680330

portada Formal Aspects of Component Software: 14th International Conference, Facs 2017, Braga, Portugal, October 10-13, 2017, Proceedings (en Inglés)

Formal Aspects of Component Software: 14th International Conference, Facs 2017, Braga, Portugal, October 10-13, 2017, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Proença, José ; Lumpe, Markus

Idioma

Inglés

N° páginas

251

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x1.4 cm

Peso

0.37 kg.

ISBN13

9783319680330

Categorías

Algoritmos y estructuras de datos
Lenguajes de programación y extensión/scripting: general

Formal Aspects of Component Software: 14th International Conference, Facs 2017, Braga, Portugal, October 10-13, 2017, Proceedings (en Inglés)

Proença, José ; Lumpe, Markus (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 14 a 19 días háb.

$ 1,870.32$ 935.16

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 935.16

¡Envío Gratis! Llega entre el 10 Sep y el 21 Sep a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Aspects of Component Software: 14th International Conference, Facs 2017, Braga, Portugal, October 10-13, 2017, Proceedings (en Inglés)"

This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.