A mostrar 1 - 1 resultados de 1 para a pesquisa 'Fisher, Michael 1962-', tempo de pesquisa: 0.01seg 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 pesquisa: