Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Língua InglêsInglês
E-book Adobe ePub DRM
Editoras Springer, outubro 2024
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verif... Descrição completa
? points 138 b
57.21 €
Em stock Imediatamente descarregável

Os clientes também compraram

Ambulante Pflege in der modernen Gesellschaft Ruth Ketzer / Livro Capa mole
common.buy 31.19 €
Zirkua Susaeta / Livro Livro de capa dura
common.buy 5.86 €
Llyfr Hymnau y Methodistiaid Calfinaidd: Cyhoeddedig Trwy Awdurdod Cymanfa Gyffredinol y Cyfundeb Yn Nghymru Howell Powell / Livro Capa mole
common.buy 29.46 €
Muso Rosso. Il sogno americano di un indiano Lakota Guido Sgardoli / Livro Capa mole
common.buy 16.50 €
E-Publishing-Management Thilo Busching / E-book Adobe ePub DRM
common.buy 22.88 €
Balas y palabras: Narrativa colombiana del sicario (1988-2023) Palacios Edwin Leonardo Florez Palacios / E-book Adobe ePub DRM
common.buy 61.06 €
Samivel Sophie Cuenot / Livro Livro de capa dura
common.buy 55.29 €
Marrakech En quelques jours 9ed Lonely Planet / Livro Capa mole
common.buy 11.33 €
Shimaguni. Atlas narrado de las islas de Japon Francesca Scotti / E-book Adobe ePub DRM
common.buy 11.23 €

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
Ewa Kasp
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 Abraham, Houssam Abbas
Língua Inglês
Encadernação E-book - Adobe ePub DRM
Data de emissão 2024
EAN 9783031742347
Código Libristo 47700645
Editoras Springer

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
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ário

Também pode estar interessado em

Addiction Psychiatric Medicine Hector Colón-Rivera / Livro Capa mole
common.buy 65.62 €
Britney Spears Oracle Kara Nesvig / Artigos impressos Cartões
common.buy 12.45 €
Acadia Panorama Alan Nyiri / E-book Adobe ePub DRM
common.buy 17.21 €
Bait and Switch Barbara Ehrenreich / Audiolivro MP3
common.buy 17.01 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo