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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Runtime Verification

Name: Runtime Verification
Brand: Springer, Berlin
SKU: 43913305
Price: 75.19 EUR
Availability: InStock
Author: Panagiotis Katsaros
ISBN: 9783031442667

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

Panagiotis Katsaros

Laura Nenzi

Sprache

Englisch

Buch Broschur

Libristo-Code: 43913305

Verlag Springer, Berlin, November 2022

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

Libristo-Code: 43913305

184 b

75.19 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

El cura que costo un papado Adelfa Martin

Broschur

10.19 €

Qu'est-Ce Que Le Creationnisme? Paul Clavier

Broschur

14.09 €

Občanské právo hmotné 3 Jan Dvořák

Broschur

19.19 €

Cabeciña a paxaros e outras historias GLORIA SANCHEZ

Broschur

12.99 €

Severin Egon Bondy

Broschur

9.19 €

Hrabia Monte Christo. Tom 2 Aleksander Dumas

Broschur

14.09 €

Erstellung eines Konzeptes zur Einführung eines Qualitätsmanagements für eine Steuerberatungsgesellschaft nach dem EFQM - Modell für Excellence Armin Baumgärtner

Broschur

47.95 €

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 4-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 Buch - Broschur

Datum der Veröffentlichung 2023

Anzahl der Seiten 504

EAN 9783031442667

Libristo-Code 43913305

Verlag Springer, Berlin

Gewicht 698

Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

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