Programming logics
Subtitle: an introduction to verification and semantics
By: Raymond D. Gumb.
Publisher: Wiley; John Wiley & Sons Inc
Published: 1989
Place of publication: New York
Language: eng
Number of pages: 334
Subjects: Computer programs -- Verification.; Programming languages (Electronic computers) -- Semantics.
Notes: Bibliography: p. 309-315.
Includes indexes.