Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Runtime Verification

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

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

Erika Abraham

Houssam Abbas

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Nakladateľstvo Springer, október 2024

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verif... Celý popis

Libristo kód: 47700645

161 b

66.74 €

Skladom Ihneď na stiahnutie

Zákazníci tiež kúpili

Ambulante Pflege in der modernen Gesellschaft Ruth Ketzer

Brožovaná

35.03 €

Zirkua Susaeta

Pevná

7.28 €

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

Brožovaná

32.81 €

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

Brožovaná

18.63 €

E-Publishing-Management Thilo Busching

Adobe ePub DRM

26.73 €

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

Adobe ePub DRM

72.51 €

Samivel Sophie Cuenot

Pevná

66.94 €

Marrakech En quelques jours 9ed Lonely Planet

Brožovaná

13.66 €

Shimaguni. Atlas narrado de las islas de Japon Francesca Scotti

Adobe ePub DRM

13.16 €

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.