Polak,, Wolfgang Compiler specification and verification / Wolfgang Polak

Compiler specification and verification / Wolfgang Polak . - Berlin : Springer-Verlag, 1981 . - XIII, 269 p. 25 cm . - (Lecture notes in computer science; 124)
3-540-10886-6 (Brochado)

681.3.068
519.682