Mostrar 1 - 1 resultats de 1 per cerca 'Fisher, Michael 1962-', hora de la petició: 0.01sec Refinar resultats
  1. 1

    An introduction to practical formal methods using temporal logic per Fisher, Michael 1962-

    Publicat 2011
    Llibre

    An introduction to practical formal methods using temporal logic

Eines de cerca: