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

    Real-time systems formal specification and automatic verification de réir Olderog, E.-R

    Foilsithe / Cruthaithe 2008
    LEABHAR

    Real-time systems formal specification and automatic verification

Uirlisí cuardaigh: