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
Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures eBook por

Formal Methods for Multicore Programming

15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Marco Bernardo,Einar Broch Johnsen
Computer Science (R0)

Sinopse

Categorias

Sobre este livro

  • Língua:English
  • ISBN:9783319189413
  • Data de lançamento:6 de mai. de 2015
  • Editora:Springer International Publishing
  • Impressão:Springer
  • Formato de ficheiro:EPUB2
  • Tamanho do ficheiro:3.81 MB
  • Opções de transferência:EPUB2 (Adobe DRM)

Nesta coleção

Ignorar esta lista

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo,Rocco De Nicola,Jane Hillston