Programming Logics: An Introduction to Verification and Semantics
Submitted by WorkCreatively on Mon, 04/27/2009 - 07:10
Printer-friendly version
Printer-friendly version| Title | Programming Logics: An Introduction to Verification and Semantics |
| Publication Type | Book |
| Pub Year | 1989 |
| Authors | Gumb, R. D. |
| Publisher | John Wiley & Sons Inc |
»