Cover Image

Programming logics : an introduction to verification and semantics /

Bibliographic Details
Main Author: Gumb, Raymond D.
Format: Book
Language:English
Published: New York : Wiley, [1989]
Subjects:
Computer programs > Verification.
Programming languages (Electronic computers) > Semantics.
Computer systems > Programs > Verification
Description
Item Description:Includes indexes.
Physical Description:xvii, 334 pages : illustrations ; 23 cm.
Bibliography:Bibliography: pages 309-315.
ISBN:0471605395