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 €

SPS 3.99 € Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto DPD 2.99 € Zberné miesto GLS 2.49 € SPS Parcel Shop 2.99 € Packeta 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.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: 42060767
Price: 82.73 EUR
Availability: InStock
Author: Thao Dang
ISBN: 9783031171963

22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings

Thao Dang

Volker Stolz

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Nakladateľstvo Springer, september 2022

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

Libristo kód: 42060767

202 b

82.73 €

Skladom Ihneď na stiahnutie

Zákazníci tiež kúpili

Ride On Alvin & Ten Years Later Lee

Audio CD

12.61 €

Juristische Argumentation durch Folgenorientierung Qingbo Zhang

Brožovaná

52.28 €

FESTIVAL MÁGICO-MATEMÁTICO MARTIN GARDNER

Pevná

17.92 €

SANGRE NEGRA DE LOS SILVANOS/ALYANA JARRY

Pevná

24.33 €

Access - Englisch als 2. Fremdsprache / Band 4 - Schülerbuch

Pevná

32.94 €

Le Dieu des obstacles Brina Svit

Brožovaná

20.42 €

Les Aventures De Jay Et Gizmo Dr. James S. Brown

Adobe ePub DRM

4.70 €

El libro de cocina de barbacoa verde Verónica Pascual

Brožovaná

31.14 €

NOËL GUÉRISSEUR POUR LES SENIORS Grace Parker

Brožovaná

29.64 €

This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.