Automatická syntéza programov z neprocedurálnych špecifikácií

Bibliographic Details
Main Authors:	Molnár, Ľudovít, 1940- (Author), Návrat, Pavol, 1952- (Author), Vojtek, Vladimír, 1954-2009 (Author)
Format:	Article
Language:	Slovak
PhysicalDescription:	Lit. 17 zázn. v slov., angl.
Subjects:	programy počítačové syntéza programov automatická články zo zborníkov

Description
Physical Description:	Lit. 17 zázn. v slov., angl.

Similar Items