| Shelfclass_id | 4.B.3 |
| Sortkey | BOYER, ROBERT S |
| Authors | Robert S. Boyer, J. Strother Moore |
| Title | The Correctness Problem in Computer Science |
| Publisher | Academic Press |
| Year | 1981 |
| Languages | eng |
| Isbn | 0121229203 |
| Series | International lecture series in computer science |
| Description | xiii, 279 p. ill. 24 cm. |
| Record date | 20071010 |
| Location | New York |
| Keywords | Computer programs |