Transitions and trees : an introduction to structural operational semantics /

Bibliographic Details
Main Author:	Hüttel, Hans
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2010.
Subjects:	Programming languages (Electronic computers) > Semantics.

Remote Storage