An introduction to programming with specifications
Subtitle: a mathematical approach
By: Ryszard Kubiak, Roman Rudziński, Stefan Sokołowski.
Contributors: Rudziński, Roman.; Sokołowski, S.
Series: The A.P.I.C. series ;; no. 35; A.P.I.C. studies in data processing ;; no. 35.
Publisher: Academic Press
Published: 1991
Place of publication: London; San Diego
Language: eng
Number of pages: 267
Subjects: Computer programming.; Programming (Mathematics)
Notes: Includes bibliographical references and index.