prindi

Attributed models of executable specifications

autor
Meriste, Merik
Penjam, Jaan
vastutusandmed
M.Meriste, J.Penjam
allikas
Proceedings of PLILP '95
ilmumiskoht
Berlin
kirjastus/väljaandja
Springer
ilmumisaasta
1995
leheküljed
p. 459-460
märksõna
mudelid
spetsifikatsioonid
märkused
(Lect. Notes. Comp. Sci. ; 982)
keel
inglise
Meriste, M., Penjam, J. Attributed models of executable specifications // Proceedings of PLILP '95. Berlin : Springer, 1995. p. 459-460.