An introduction to programming with specifications : a mathematical approach /

Bibliographic Details

Main Author:	Kubiak, Ryszard
Other Authors:	Rudziński, Roman, Sokołowski, Stefan
Format:	Book
Language:	English
Published:	London ; San Diego : Academic, [1991]
Series:	A.P.I.C. studies in data processing ; no. 35.
Subjects:	Computer programming.