Resultados da pesquisa

  • A mostrar 1 - 1 resultados de 1
Refinar resultados
  1. 1

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS Por Yoeli, Michael, 1917-

    Publicado em 2008
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico livro electrónico