Specified programming
By: Andrzej Blikle.
Series: ICS PAS reports ; 333; Prace IPI PAN ;; 333.
Publisher: IPI PAN
Published: 1978
Place of publication: Warszawa
Language: eng
Number of pages: 24
Subjects: Structured programming.; Computer programs -- Verification.
Notes: Bibliography: p. [25]-[26]
Summaries in Polish and Russian.