Programming logics : an introduction to verification and semantics

Author(s)

• Gumb, Raymond D.

Bibliographic Information

Programming logics : an introduction to verification and semantics

Raymond D. Gumb

Wiley, c1989

Note

Includes indexes

Details

• NCID: BA0671997X
• ISBN:
  • 0471605395
• LCCN: 89030196
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xvii, 334 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.76.V47
  • DC19 : 005.1/4
• Subject Headings:
  • LCSH : Computer programs -- Verification
  • LCSH : Programming langauges (Electronic computers) -- Semantics