Mostrar 1 - 1 resultats de 1 per cerca 'Holzmann, Gerald J., 1951-', hora de la petició: 0.02sec Refinar resultats
  1. 1
    The spin model checker : primer and reference manual /
    per Holzmann, Gerald J., 1951-
    Publicat 2004
    Llibre
Eines de cerca: Obtenir subscripció RSS – Enviar per correu electrònic aquesta cerca