Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Runtime Verification

Name: Runtime Verification
Brand: Springer, Berlin
SKU: 43913305
Price: 72.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

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 43913305

Uitgeverij Springer, Berlin, november 2022

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verif... Volledige beschrijving

Libristo-code: 43913305

174 b

72.19 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

El cura que costo un papado Adelfa Martin

Gebonden (paperback)

9.81 €

Qu'est-Ce Que Le Creationnisme? Paul Clavier

Gebonden (paperback)

13.66 €

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

Gebonden (paperback)

18.52 €

Cabeciña a paxaros e outras historias GLORIA SANCHEZ

Gebonden (paperback)

12.45 €

Bullet Journal - Stickerbuch für Lehrer: 800 Schmuck- und Layoutelemente für den Schulalltag Edition Michael Fischer

Gebonden (paperback)

8.60 €

Severin Egon Bondy

Gebonden (paperback)

8.80 €

Hrabia Monte Christo. Tom 2 Aleksander Dumas

Gebonden (paperback)

12.75 €

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

Gebonden (paperback)

42.82 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Runtime Verification

Auteur Panagiotis Katsaros, Laura Nenzi

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2023

Aantal pagina's 504

EAN 9783031442667

Libristo-code 43913305

Uitgeverij Springer, Berlin

Gewicht 698

Afmetingen 155 x 235

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger