The Vienna development method : the meta-language / ed.lit. D. Bjorner, C. B. Jones.
- Berlin : Springer-Verlag , 1978 .
- XVII, 382 p. ; 25 cm.
- (Lecture notes in computer science)
; 61
ISBN 3-540-08766-4
Semântica
Compiladores
LCC QA76
ISBN 3-540-08766-4
Semântica
Compiladores
LCC QA76
