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
Contacto
Como comprar
Ajuda
Entrega
Correio DHL 7.99 €
Correio DPD 4.49 €
Correio MRW 3.99 €
Ponto DPD 3.99 €
Guia de compras
A minha conta
▸
Vazio :-(
0
Runtime Verification
24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Língua
Inglês
Inglês
Livro
Capa mole
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verif...
Descrição completa
Código Libristo: 46666396
?
123 b
123 b
50.62
€
Armazenamento externo
Envio em 5-8 dias
Política de devolução de 30 dias
Os clientes também compraram
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.
The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.
Atriz
&
Poliglota
EWA KASP
para
Reproduzir vídeo
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.
Sobre o livro
Nome completo
Runtime Verification
Autor
Erika Ábrahám, Houssam Abbas
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2024
Número de páginas
295
EAN
9783031742330
Código Libristo
46666396
Editoras
Springer, Berlin
Peso
488
Dimensões
155 x 235
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
6.46
€
/
Capa mole
21.01
€
