The use of formal specification of software / H. K. Berg, ed. lt., W. K. Giloi, ed. lit..
- Berlin : Springer-Verlag , 1980 .
- IV, 388 p. : il. ; 25 cm.
- (Informatik-Fachberichte)
; 36
ISBN 3-540-10442-9
Semântica
Programação
LCC QA76
ISBN 3-540-10442-9
Semântica
Programação
LCC QA76