Name: Formal Methods for Components and Objects: 11Th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering) (en Inglés)
SKU: 62115012
Price: 50.37 USD
Availability: InStock
Author: Giachino Elena,Hähnle Reiner,De Boer Frank S.

portada Formal Methods for Components and Objects: 11Th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering) (en Inglés)

Formal Methods for Components and Objects: 11Th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering) (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Giachino Elena,Hähnle Reiner,De Boer Frank S.

Idioma

Inglés

N° páginas

250

Encuadernación

Tapa Blanda

ISBN13

9783642406140

N° edición

2013th

Formal Methods for Components and Objects: 11Th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering) (en Inglés)

Giachino Elena,Hähnle Reiner,De Boer Frank S. (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 100.74$ 50.37

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 50.37

Llega entre el 16 Sep y el 29 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Methods for Components and Objects: 11Th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering) (en Inglés)"

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.