| Shelfclass_id | 4.B.1 |
| Sortkey | GUMB, RAYMOND D |
| Authors | Raymond D Gumb |
| Title | Programming Logics: An Introduction to Verification and Semantics |
| Publisher | Wiley |
| Year | c1989 |
| Languages | eng |
| Isbn | 0471605395 |
| Description | xvii, 334 p. ill. 23 cm. |
| Record date | 20071010 |
| Location | New York |
| Keywords | Computer programs, Programming languages (Electronic computers) |
| Notes | Includes indexes. |