Cover Image

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.
Description
Physical Description:xvii, 272 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:9780521197465 (hbk.)
0521197465 (hbk.)
9780521147095 (pbk.)
0521147093 (pbk.)