Programming logics : an introduction to verification and semantics
Raymond D. Gumb
Bok Engelsk 1989
| Utgitt | New York : Wiley , c1989
|
|---|---|
| Omfang | xvii, 334 s. : ill.
|
| Emner | Computer programs - Verification
Programming languages (Electronic computers) - Semantics Datamaskinprogrammer - Prøving programmering prøving verifikasjon |
| ISBN | 0471605395
|
