Mostrando 1 - 1 resultados de 1 para a busca 'Fisher, Michael 1962-', tempo de busca: 0.01s Refinar Resultados
  1. 1

    An introduction to practical formal methods using temporal logic por Fisher, Michael 1962-

    Publicado em 2011
    Livro

    An introduction to practical formal methods using temporal logic

Ferramentas de busca: