Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Runtime Verification

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

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

Panagiotis Katsaros

Laura Nenzi

Língua

Inglês

Livro Capa mole

Código Libristo: 43913305

Editoras Springer, Berlin, novembro 2022

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verif... Descrição completa

Código Libristo: 43913305

156 b

64.39 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

El cura que costo un papado Adelfa Martin

Capa mole

8.29 €

Qu'est-Ce Que Le Creationnisme? Paul Clavier

Capa mole

11.33 €

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

Capa mole

14.77 €

Cabeciña a paxaros e outras historias GLORIA SANCHEZ

Capa mole

10.01 €

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

Capa mole

7.48 €

Severin Egon Bondy

Capa mole

6.77 €

Hrabia Monte Christo. Tom 2 Aleksander Dumas

Capa mole

9.61 €

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

Capa mole

37.76 €

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.