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 and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings eBook por

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

ebook,ebook
Michael Butler,Sylvain Conchon,Fatiha Zaïdi
Springer Nature Proceedings Computer Science

Sinopse

Categorias

Sobre este livro

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

Nesta coleção

Ignorar esta lista

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler,Alexander Raschke,Thai Son Hoang,Klaus Reichl

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler,Miklos Biro,Klaus-Dieter Schewe,Atif Mashkoor