Table of Contents
Theory and Methodology of Programming
W. Goerigk, H. Langmaack
|
|
M.S. Nikitchenko, S.S. Shkilniak
|
|
V.N. Grischenko
|
|
Formal methods of programming
A.N. Chebotarev
|
|
Models and means of databases and knowledge engineering
N.T. Zadorozhna, K.L. Val
|
|