Suas configurações de privacidade

Ao selecionar «Aceitar Tudo», permite que a Rakuten Kobo e os seus parceiros usem cookies, rastreio e tecnologias semelhantes para recolher os seus dados pessoais e processá-los para os seguintes fins: gerir o site e os serviços Kobo e garantir que funcionam corretamente, fornecer-lhe conteúdo personalizado na Kobo e anúncios para a Kobo noutras plataformas e medir a análise e analisar a forma como o nosso site e serviços estão a ser utilizados. Caso contrário, clique em "Recusar" abaixo para rejeitar todos os propósitos não essenciais ou consulte "Definições de Privacidade" para gerir as suas preferências para cada propósito. Para mais informações, leia a nossa Política de Privacidade.

Ver Configurações de privacidadeVer Configurações de privacidade

Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings eBook por

Runtime Verification

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

Erika Ábrahám,Houssam Abbas

Springer Nature Proceedings Computer Science

Sinopse

Categorias

Sobre este livro

Língua:English
ISBN:9783031742347
Data de lançamento:12 de out. de 2024
Editora:Springer Nature Switzerland

Impressão:Springer
Formato de ficheiro:EPUB3
Tamanho do ficheiro:28.78 MB
Opções de transferência:EPUB3 (Adobe DRM)

Nesta coleção

Quantitative Evaluation of Systems - eBook por Erika Ábrahám,Marco Paolieri

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Theoretical Aspects of Computing – ICTAC 2023 - eBook por Erika Ábrahám,Clemens Dubslaff,Silvia Lizeth Tapia Tarifa

Theoretical Aspects of Computing – ICTAC 2023

Erika Ábrahám,Clemens Dubslaff,Silvia Lizeth Tapia Tarifa

Integrated Formal Methods - eBook por Erika Ábrahám,Marieke Huisman

Integrated Formal Methods

Erika Ábrahám,Marieke Huisman