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 privacidade
Pular para o conteúdo principal
Desejados
Carrinho
Criar conta
Já tem uma conta?Iniciar sessão
Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings eBook por

Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Bernd Fischer,Jaco Geldenhuys
Springer Nature Proceedings Computer Science

Sinopse

Categorias

Sobre este livro

  • Língua:English
  • ISBN:9783319234045
  • Data de lançamento:5 de jul. de 2016
  • Editora:Springer International Publishing
  • Impressão:Springer
  • Formato de ficheiro:EPUB2
  • Tamanho do ficheiro:4.48 MB
  • Opções de transferência:EPUB2 (Adobe DRM)

Nesta coleção

Ignorar esta lista

Theoretical Aspects of Computing – ICTAC 2018

Bernd Fischer,Tarmo Uustalu