Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Runtime Verification

Sprache EnglischEnglisch
Buch Broschur
Buch Runtime Verification Bettina Könighofer
Libristo-Code: 49425797
Verlag Springer-Verlag GmbH, Oktober 2025
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verif... Vollständige Beschreibung
? points 174 b
70.89 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

L'ontophylogenèse Kupiec / Buch Broschur
common.buy 12.29 €
Pucking wild (poche) - Tome 2 Les Rays de Jacksonville Emily Rath / Buch Broschur
common.buy 13.19 €
Saint Louis VIAL-ANDRU / Buch Broschur
common.buy 10.49 €

This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15 19, 2025.

The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions. 

The RV conference focuses on all aspects of formal methods for monitoring, analyzing, and guiding the runtime behavior of software and hardware systems. Runtime verification techniques are essential for ensuring system correctness, reliability, and robustness. They offer an additional layer of rigor and effectiveness beyond conventional testing and are often more practical than exhaustive formal verification.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
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 Bettina Könighofer
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2025
Anzahl der Seiten 510
EAN 9783032054340
ISBN 3032054346
Libristo-Code 49425797
Verlag Springer-Verlag GmbH
Gewicht 803

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik
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

Das könnte Sie auch interessieren

Top
Psycho-Cybernetics Deluxe Edition Maxwell Maltz / Buch Hardcover
common.buy 23.29 €
Outlaw Michael Streissguth / Hörbuch MP3
common.buy 15.09 €
The Unmasking of Medicine Ian Kennedy / Buch Broschur
common.buy 46.69 €
Top Neu
Purgatory Funeral Cakes Volume 2 Sanho / Buch Broschur
common.buy 16.49 €
Neu
Reimagining Language Teacher Agency Huseyin Uysal / Buch Hardcover
common.buy 150.19 €
Neu
Russo-Soviet Imperialist Hauntings Maryna Romanets / Buch Hardcover
common.buy 169.19 €
Public and Parlor Readings. Prose and Poetry for the Use of Reading Clubs, and for Public, Social, and School Entertainment. Dialogues and Dramas Lewis Baxter Monroe / Buch Hardcover
common.buy 74.39 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?