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)
Price: 52.09 USD
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)

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 Físico

$ 52.09

$ 54.99

Ahorras: $ 2.90

5% descuento

Envío Express Gratis

Se enviará desde nuestra bodega entre el Martes 16 de Julio y el Miércoles 17 de Julio.

Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.

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.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

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

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

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)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

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

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre