Program derivation: The development of programs from specification international computer science series

Bibliographic Details
Main Authors:	Návrat, Pavol, 1952- (Author), Dromey, R. G. (Author)
Format:	Article
Language:	English
Subjects:	počítačové programovanie derivácie funkcií články z novín a časopisov

Similar Items