Summary goes here

Furkejuvvon:
Bibliográfalaš dieđut
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Fáttát:
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
era
format Book
genre
geographic
id 88a730ea-d975-45f8-99f5-d5435a06c8fd
isbn 0471033952
issn
language eng
physical viii, 184 pages :illustrations ;23 cm
viii, 184 pages ;23 cm
publication – publisher: Wiley
  dateOfPublication: 1979
publishDate 1979
subjects
title Proving programs correct / Robert B. Anderson.
topic Computer programs
Debugging in computer science.