«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Runtime Verification

Idioma InglésInglés
Libro Tapa blanda
Libro Runtime Verification Bettina Könighofer
Código Libristo: 49425797
Editores Springer-Verlag GmbH, octubre 2025
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verif... Descripción completa
? points 183 b
74.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

PREGHIERE PER L'ANIMA Vol. 1 Anton Styger / Libro Tapa blanda
common.buy 23.19 €
Saint Louis VIAL-ANDRU / Libro Tapa blanda
common.buy 9.29 €
Pucking wild (poche) - Tome 2 Les Rays de Jacksonville Emily Rath / Libro Tapa blanda
common.buy 11.79 €
Versuch Einer Anleitung Zu Anlegung Eines Gartens Im Englischen Geschmack Johann G. Schoch / Libro Tapa dura
common.buy 30.79 €
Serve meno Europa? Domande radicali sull'Unione europea / Libro Tapa blanda
common.buy 27.19 €
Maison Rustique Du Xixe Si?cle: Agriculture Proprement Dite. 1835. Cultures Industrielles Et Animaux Domestiques. 1837... Alexandre Bixio / Libro Tapa blanda
common.buy 30.79 €
Pasion renovada Maggie Cox / Libro electrónico Adobe ePub DRM
common.buy 3.49 €
Comentarios de D. García de Silva y Figueroa en la embajada que de parte del Rey de España Don Felip Serrano y Sanz / Libro Tapa dura
common.buy 66.79 €
L'ontophylogenèse Kupiec / Libro Tapa blanda
common.buy 10.99 €
Indications Therapeutiques, Eaux Minero-Thermales, Lacoste-C / Libro Tapa blanda
common.buy 15.09 €
Renesans Jerzy Ziomek / Libro Tapa blanda
common.buy 22.49 €
Small Claims und effektiver Rechtsschutz. Enno Engbers / Libro Tapa blanda
common.buy 100.69 €
Währungsreform und Soziale Marktwirtschaft. Wolfram Fischer / Libro Tapa dura
common.buy 178.39 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Runtime Verification
Autor Bettina Könighofer
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2025
Número de páginas 510
EAN 9783032054340
ISBN 3032054346
Código Libristo 49425797
Editores Springer-Verlag GmbH
Peso 803

Categorías

Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Russo-Soviet Imperialist Hauntings Maryna Romanets / Libro Tapa dura
common.buy 169.19 €
The Unmasking of Medicine Ian Kennedy / Libro Tapa blanda
common.buy 48.69 €
Purgatory Funeral Cakes Volume 2 Sanho / Libro Tapa blanda
common.buy 16.59 €
Outlaw Michael Streissguth / Audiolibro MP3
common.buy 15.19 €
Humane Samuel Moyn / Libro Tapa blanda
common.buy 38.69 €
Epic Imaginary Charlton Payne / Libro Tapa dura
common.buy 103.09 €
Reimagining Language Teacher Agency Huseyin Uysal / Libro Tapa dura
common.buy 157.89 €
Economy of Honduras Ivan Kushnir / Libro Tapa blanda
common.buy 8.99 €
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 / Libro Tapa dura
common.buy 78.59 €
The Shenandoah and Rappahannock Rivers Guide Bruce Ingram / Libro Tapa blanda
common.buy 18.29 €
City Looks Better at Night (Keeper of Secrets) Samantha Robson / Libro Tapa blanda
common.buy 22.29 €
Treas of Flute Music Louis Moyse / Libro Tapa blanda
common.buy 23.49 €
Popular
Psycho-Cybernetics Deluxe Edition Maxwell Maltz / Libro Tapa dura
common.buy 23.49 €
Doing the China Tango Scott Cray / Libro Tapa dura
common.buy 23.49 €
Carvings on the Heart Martha Pitts / Libro Tapa blanda
common.buy 15.19 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?