From formal specifications to integer programs
By: by A.P. French, G.P. McKeown and V.J. Rayward-Smith.
Contributors: McKeown, G. P.; Rayward-Smith, V. J.
Series: Loughborough University Business School research series -- 1994:14
Publisher: Loughborough University Business School
Published: 1994
Place of publication: Loughborough
Language: eng