Transitions and trees : an introduction to structural operational semantics /

  1. Home
  2. Szczegóły

Opis

Hüttel, Hans.

    Transitions and trees : an introduction to structural operational semantics / Hans Hüttel.
    New York : Cambridge University Press, 2010. XVII, 272 s. : il. ; 25 cm.
    ISBN 978-0-521-19746-5     ISBN 978-0-521-14709-5

   
T.16928        UKD: 51-7:004.4'41:004.422]=111