Algebraic Semantics of Imperative Programs - Goguen, Joseph A
KORTE INHOUD
"Algebraic Semantics of Imperative Programs" presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run.
Koop dit boek tweedehands
bij volgende verkopers
1 foto's
1996, hardcover, shelf wear, good copy [Auteur: Goguen, Joseph A] [Taal: en] [Uitgever: MIT Press] [Jaar: 1996] [Titel: Algebraic Semantics of Imperative Programs]
