Mostrando 1 - 1 Resultados de 1 Para Buscar 'Kol, Rakefet', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS
    por Yoeli, Michael, 1917-
    Publicado 2008
    Otros Autores:
    Biblioteca Universitat Ramon Llull (Otras Fuentes: Universidad Loyola - Universidad Loyola Granada, Biblioteca de la Universidad Pontificia de Salamanca)
    Libro electrónico

Herramientas de búsqueda: