1 - 1 toradh á dtaispeáint as 1 toradh san iomlán ar an gcuardach 'Fisher, Michael 1962-', am iarratais: 0.01s Beachtaigh na torthaí
  1. 1

    An introduction to practical formal methods using temporal logic de réir Fisher, Michael 1962-

    Foilsithe / Cruthaithe 2011
    LEABHAR

    An introduction to practical formal methods using temporal logic

Uirlisí cuardaigh: