Name: Software Engineering and Formal Methods: 12Th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science) (en Inglés)
SKU: 50879657
Price: 60400.00 CLP
Availability: InStock
Author: Dimitra Giannakopoulou
ISBN: 9783319104300

portada Software Engineering and Formal Methods: 12Th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science) (en Inglés)

Software Engineering and Formal Methods: 12Th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science) (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Dimitra Giannakopoulou

Año

2014

Idioma

Inglés

N° páginas

394

Encuadernación

Tapa Blanda

ISBN13

9783319104300

N° edición

2014

Categorías

Programación informática/desarrollo de software

Software Engineering and Formal Methods: 12Th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science) (en Inglés)

Dimitra Giannakopoulou (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 13 a 18 días háb.

$ 109.820$ 60.400

-45%

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

Libro Nuevo

Quedan más de 100 unidades

$ 60.400

Llega entre el 30 Sep y el 07 Oct a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Software Engineering and Formal Methods: 12Th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science) (en Inglés)"

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.