Algebraic Semantics of Imperative Programs

Door: Goguen, Joseph A

❮ ❯

• ISBN: 9780262071727
• Uitgever: MIT Press
• Taal: Engels
• Categorie: studieboeken
• Details: 1996, hardcover, shelf wear, good copy
• Extra informatie: "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.
• € 10.80