Name: Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings (en Inglés)
Price: 75.78 EUR
Availability: InStock
Author: Gribaudo, Marco ; Jansen, David N. ; Remke, Anne
ISBN: 9783030598532

portada Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Gribaudo, Marco ; Jansen, David N. ; Remke, Anne

Idioma

Inglés

N° páginas

298

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.7 cm

Peso

0.44 kg.

ISBN13

9783030598532

Categorías

Software de matemáticas y estadísticas
Programación informática - desarrollo de software
Ciencias de la computación

Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings (en Inglés)

Gribaudo, Marco ; Jansen, David N. ; Remke, Anne (Autor) · Springer · Tapa Blanda

Libro Nuevo

75,78 €

79,77 €

Ahorras: 3,99 €

5% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Miércoles 14 de Agosto y el Lunes 02 de Septiembre.

Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.

Reseña del libro "Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings (en Inglés)"

This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies.

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

Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings (en Inglés) - Gribaudo, Marco ; Jansen, David N. ; Remke, Anne

Reseña del libro "Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings (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