Algebraic Semantics of Imperative Programs

Joseph Goguen

Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs.

Download Free Books Downloader

Version: 1.0.0.1. File Size: 1.97 MB