Summary goes here

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Fformat: Llyfr
Iaith:Saesneg
Pynciau:
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
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.