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
|