1 - 2 toradh á dtaispeáint as 2 toradh san iomlán ar an gcuardach '"Programming language semantics"', am iarratais: 0.41s Beachtaigh na torthaí
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

    Proving Properties of Programs on Hierarchical Nominative Data de réir Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev

    Foilsithe / Cruthaithe 2016-12-01
    Ábhair: “…Programming language semantics…”
    Faigh an téacs iomlán
    Alt
  2. 2
    Lifting Transformations

    Lifting Transformations de réir McAllester, David, Siskind, Jeffrey

    Foilsithe / Cruthaithe 2004
    Ábhair:
    Faigh an téacs iomlán

Uirlisí cuardaigh: