Studiebog

Runtime Verification

- 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
- Programming and Software Engineering
- og Lecture Notes in Computer Science

Normalpris

kr. 569,95

Medlemspris

kr. 539,95

Du sparer kr. 30,00
Fri fragt

Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Leveringstid: 2-3 uger (Sendes fra fjernlager)
Forventet levering: 09-03-2026
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.

The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal331
Udgivelsesdato06-10-2021
ISBN139783030884932
Forlag Springer Nature Switzerland AG
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...

Se andre, der handler om...

Logic Computing Methodologies Modeling and Simulation Formal languages and automata theory Security and Privacy Hardware validation Theory and algorithms for application domains Design and analysis of algorithms Semantics and reasoning Theory of computation