Algebraic semantics of imperative programs
Auteur :
Goguen, Joseph A.
Éditeur :
Goguen, Joseph A.Malcolm, Grant,
ISBN :
9780262071727
Date de publication :
2 juil. 1996
Dimensions :
22,9 x 18,0 x 2,0 cm
Poids :
590 g
Langue :
Anglais
Pays d'origine :
USA
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.