Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.99 € GLS-Kurier 5.49 € DPD-Kurier 4.99 € DPD-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Runtime Verification

Name: Runtime Verification
Brand: Springer
SKU: 44991821
Price: 68.32 EUR
Availability: InStock
Author: Panagiotis Katsaros
ISBN: 9783031442674

23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

Panagiotis Katsaros

Laura Nenzi

Sprache

Englisch

E-Book Adobe ePub DRM

Verlag Springer, Oktober 2023

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verif... Vollständige Beschreibung

Libristo-Code: 44991821

167 b

68.32 € inkl. MwSt.

Verfügbar Sofort herunterladbar

Kunden kauften auch

Si mi pueblo Jack Countryman

Adobe ePub DRM

0.89 €

1. Band von Neuaufbau der Urbibel Johannes Greber

Broschur

45.40 €

Oeuvres. Tome 7 Machiavel

Broschur

27.29 €

Schätzen in agilen Projekten Jorg Bruggenkamp

Adobe ePub DRM

13.90 €

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3-6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems.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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Runtime Verification

Autor Panagiotis Katsaros, Laura Nenzi

Sprache

Englisch

Einband E-Book - Adobe ePub DRM

Datum der Veröffentlichung 2023

EAN 9783031442674

Libristo-Code 44991821

Verlag Springer

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Analysis, allgemein > Numerische Mathematik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert