Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Runtime Verification

Name: Runtime Verification
Brand: Springer
SKU: 47700645
Price: 70.49 EUR
Availability: InStock
Author: Erika Abraham
ISBN: 9783031742347

24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Erika Abraham

Houssam Abbas

Idioma

Inglés

Libro electrónico Adobe ePub DRM

Editores Springer, octubre 2024

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verif... Descripción completa

Código Libristo: 47700645

173 b

70.49 €

En existencia Descarga instantánea

Clientes que también han comprado

Ambulante Pflege in der modernen Gesellschaft Ruth Ketzer

Tapa blanda

38.49 €

Zirkua Susaeta

Tapa dura

7.29 €

Llyfr Hymnau y Methodistiaid Calfinaidd: Cyhoeddedig Trwy Awdurdod Cymanfa Gyffredinol y Cyfundeb Yn Nghymru Howell Powell

Tapa blanda

35.79 €

Muso Rosso. Il sogno americano di un indiano Lakota Guido Sgardoli

Tapa blanda

20.39 €

E-Publishing-Management Thilo Busching

Adobe ePub DRM

28.19 €

Balas y palabras: Narrativa colombiana del sicario (1988-2023) Palacios Edwin Leonardo Florez Palacios

Adobe ePub DRM

76.99 €

Samivel Sophie Cuenot

Tapa dura

67.19 €

Marrakech En quelques jours 9ed Lonely Planet

Tapa blanda

13.79 €

Shimaguni. Atlas narrado de las islas de Japon Francesca Scotti

Adobe ePub DRM

13.89 €

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.