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

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.V47 G86 1989
 
Call Number Status Get It
QA76.76.V47 G86 1989 Available