Published on Work Creatively (http://workcreatively.org)

Home > Biblio > Programming Logics: An Introduction to Verification and Semantics

Programming Logics: An Introduction to Verification and Semantics

Submitted by WorkCreatively on Mon, 04/27/2009 - 07:10
Title Programming Logics: An Introduction to Verification and Semantics
Publication Type Book
Pub Year 1989
Authors Gumb, R. D.
Publisher John Wiley & Sons Inc
Source URL (retrieved on 05/02/2024 - 19:05): http://workcreatively.org/content/programming-logics-introduction-verification-and-semantics