prindi

Applications of structural synthesis of programs

autor
Tõugu, Enn
Matskin, Mihhail
Penjam, Jaan
vastutusandmed
Enn Tyugu, Mihhail Matskin, and Jaan Penjam
allikas
Proceedings of the World Congress on Formal Methods in Development and Computing Systems (FM'99) : Toulouse, France
ilmumiskoht
Berlin
kirjastus/väljaandja
Springer
ilmumisaasta
1999
leheküljed
p. 551-569
märksõna
struktuurprogrammeerimine
märkused
(Lecture notes in computer science ; 1708)
keel
inglise
Tõugu, E., Matskin, M., Penjam, J. Applications of structural synthesis of programs // Proceedings of the World Congress on Formal Methods in Development and Computing Systems (FM'99) : Toulouse, France. Berlin : Springer, 1999. p. 551-569.