Mostrando 1 - 1 Resultados de 1 Para Buscar 'Holzmann, Gerald J., 1951-', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    The spin model checker : primer and reference manual
    por Holzmann, Gerald J., 1951-
    Publicado 2004
    Otros Autores: “…Holzmann, Gerald J., 1951-…”
    Libro electrónico

Herramientas de búsqueda: