Result: Compiling natural semantics

*Title*:

Compiling natural semantics / Mikael Pettersson

*Author/editor-in-chief*:

Pettersson, Mikael

*Publication*:

Berlin [u.a.] : Springer, 1999

*Physical description scale*:

XVI, 240 S.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 1549
*show_all_volumes*

*Notes*:

Bibliogr. S. [223] - 237

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540659684

*Result*: Compiling natural semantics