Transitions and trees : an introduction to structural operational semantics


Hans Hüttel
Bok Engelsk 2010
Utgitt
Cambridge : Cambridge University Press , 2010
Omfang
XVII, 272 s.
Emner
Operasjonell semantikk
strukturell semantikk programmering
Dewey
ISBN
9780521147095. - 9780521197465

Bibliotek som har denne