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

Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings eBook por

Reachability Problems

10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Igor Potapov,Jiří Srba,Kim Guldstrand Larsen

Springer Nature Proceedings Computer Science

Sinopse

Categorias

Sobre este livro

Língua:English
ISBN:9783319459943
Data de lançamento:30 de set. de 2016
Editora:Springer International Publishing

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

Nesta coleção

Formal Methods for Industrial Critical Systems - eBook por Kim Guldstrand Larsen,Tim Willemse

Formal Methods for Industrial Critical Systems

Kim Guldstrand Larsen,Tim Willemse

Dependable Software Engineering. Theories, Tools, and Applications - eBook por Ji Wang,Kim Guldstrand Larsen,Oleg Sokolsky

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang,Kim Guldstrand Larsen,Oleg Sokolsky